Removed "assert" as reserved. Enabled terminating ";" in lists.

This commit is contained in:
Christian Rinderknecht 2019-06-10 15:19:42 +02:00
parent 4d121602eb
commit 53314c2c0c
4 changed files with 9 additions and 7 deletions

1
.gitignore vendored
View File

@ -2,3 +2,4 @@
/dune-project /dune-project
*~ *~
cache/* cache/*
Version.ml

View File

@ -104,7 +104,7 @@ let keywords = Token.[
"and", None; "and", None;
"as", None; "as", None;
"asr", None; "asr", None;
"assert", None; (* "assert", None;*)
"class", None; "class", None;
"constraint", None; "constraint", None;
"do", None; "do", None;

View File

@ -179,11 +179,13 @@ tuple(item):
(* Possibly empty semicolon-separated values between brackets *) (* Possibly empty semicolon-separated values between brackets *)
list_of(item): list_of(item):
lbracket sepseq(item,semi) rbracket { lbracket sep_or_term_list(item,semi) rbracket {
{opening = LBracket $1; let elements, terminator = $2 in {
elements = $2; opening = LBracket $1;
terminator = None; elements = Some elements;
closing = RBracket $3} } terminator;
closing = RBracket $3}
}
(* Main *) (* Main *)

View File

@ -1 +0,0 @@
let version = "UNKNOWN"