Merge branch '8-reporting-of-error-messages' into 'dev'

Fixed regression (empty lists in Ligodity)

See merge request ligolang/ligo!25
This commit is contained in:
Georges Dupéron 2019-06-10 20:22:29 +00:00
commit 3583d067cc
4 changed files with 14 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,18 @@ 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 {
let elements, terminator = $2 in {
opening = LBracket $1;
elements = Some elements;
terminator;
closing = RBracket $3}
}
| lbracket rbracket {
{opening = LBracket $1; {opening = LBracket $1;
elements = $2; elements = None;
terminator = None; terminator = None;
closing = RBracket $3} } closing = RBracket $2} }
(* Main *) (* Main *)

View File

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