diff --git a/src/parser.mly b/src/parser.mly index 7cd039a..f8660d5 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -386,6 +386,9 @@ expr: /* Tuples */ | LPAREN expr_comma_list RPAREN { $2 } /* Applications */ + | IDENT LPAREN RPAREN + { raise (MyParsingError ("An application should come with arguments!", + current_location())) } | IDENT LPAREN expr_comma_list RPAREN { let name = $1 in let node = fetch_node name in