From 37c2152fca1b9d1fc97d432aec6a982ae6399fcd Mon Sep 17 00:00:00 2001 From: Christian Rinderknecht Date: Mon, 10 Jun 2019 19:59:22 +0200 Subject: [PATCH] Fixed the regression introducted by the previous commit (disallowing empty lists). --- src/parser/ligodity/Parser.mly | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/parser/ligodity/Parser.mly b/src/parser/ligodity/Parser.mly index b21f4f1ec..b453e6fae 100644 --- a/src/parser/ligodity/Parser.mly +++ b/src/parser/ligodity/Parser.mly @@ -186,6 +186,11 @@ list_of(item): terminator; closing = RBracket $3} } +| lbracket rbracket { + {opening = LBracket $1; + elements = None; + terminator = None; + closing = RBracket $2} } (* Main *)