diff options
Diffstat (limited to 'Chalice/src/Parser.scala')
| -rw-r--r-- | Chalice/src/Parser.scala | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Chalice/src/Parser.scala b/Chalice/src/Parser.scala index 27b4945d..44b8227a 100644 --- a/Chalice/src/Parser.scala +++ b/Chalice/src/Parser.scala @@ -31,15 +31,14 @@ class Parser extends StandardTokenParsers { "ite", "fold", "unfold", "unfolding", "in", "forall", "exists",
"seq", "nil", "result", "eval", "token",
"wait", "signal", "unlimited",
- "refines", "transforms", "replaces", "by", "spec"
+ "refines", "transforms", "replaces", "by", "spec", "_", "*"
)
// todo: can we remove "nil"?
lexical.delimiters += ("(", ")", "{", "}", "[[", "]]",
"<==>", "==>", "&&", "||",
"==", "!=", "<", "<=", ">=", ">", "<<", "in", "!in",
"+", "-", "*", "/", "%", "!", ".", "..",
- ";", ":", ":=", ",", "?", "|", "[", "]", "++", "::",
- "_"
+ ";", ":", ":=", ",", "?", "|", "[", "]", "++", "::"
)
def programUnit = (classDecl | channelDecl)*
|