balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fixed the regression introducted by the previous commit (disallowing empty lists).

Browse Source
This commit is contained in:
Christian Rinderknecht 2019-06-10 19:59:22 +02:00
parent 53314c2c0c
commit 37c2152fca
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/parser/ligodity/Parser.mly
View File

@ -186,6 +186,11 @@ list_of(item):
terminator; terminator;
closing = RBracket $3} closing = RBracket $3}
} }
| lbracket rbracket {
{opening = LBracket $1;
elements = None;
terminator = None;
closing = RBracket $2} }
(* Main *) (* Main *)