Merge pull request #2 from fangyi-zhou/fix-menhir

Fix menhir compilation #1
Bromind · Mar 29, 2022 · 799d22d · 799d22d
2 parents 6c4ea9c + 813ec41
commit 799d22d
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/parser.mly b/src/parser.mly
@@ -46,12 +46,17 @@
 %token LAMBDA CHAN DOT COMMA PARA LSB RSB GT LT EOF ARROW LPARENS RPARENS TYPE COLON BAR MATCH
 
 %start file
+%type <unit option> option(BAR) option(COLON) (* It's a bit stupid but okay *)
 %type <Ast.expr> file
 %type <Ast.expr> program
 %type <Ast.expr> parens_program
+%type <Ast.expr list> separated_nonempty_list(PARA,program)
 %type <Pi_lambda_types.pi_lambda_type> type_def
+%type <Pi_lambda_types.pi_lambda_type list> separated_nonempty_list(COMMA,type_def) loption(separated_nonempty_list(COMMA,type_def))
 %type <string -> Constructor.constructor> constructor
+%type <(string -> Constructor.constructor) list> separated_nonempty_list(BAR,constructor)
 %type <(Ast.expr * Ast.expr)> pattern
+%type <(Ast.expr * Ast.expr) list> list(pattern)
 
 %%