diff options
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/parser.mly b/src/parser.mly index 416d4d92..aa6c853d 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -163,12 +163,12 @@ let make_vector_sugar typ typ1 = %token <string> LtEqUnderUiI LtUnderSI LtUnderSiI LtUnderUI LtUnderUiI StarStarUnderSI StarStarUnderSiI StarUnderSI %token <string> StarUnderSiI StarUnderUI StarUnderUiI TwoCarrotI -%start file exp semi_exps +%start file nonempty_exp_list %type <Parse_ast.defs> defs %type <Parse_ast.atyp> typ %type <Parse_ast.pat> pat %type <Parse_ast.exp> exp -%type <Parse_ast.exp list> semi_exps +%type <Parse_ast.exp list> nonempty_exp_list %type <Parse_ast.defs> file @@ -1198,3 +1198,6 @@ file: | defs Eof { $1 } +nonempty_exp_list: + | semi_exps_help Eof { $1 } + |