diff options
Diffstat (limited to 'lib/Parser.mly')
| -rw-r--r-- | lib/Parser.mly | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/Parser.mly b/lib/Parser.mly index d0395ac..0390b3c 100644 --- a/lib/Parser.mly +++ b/lib/Parser.mly @@ -21,8 +21,10 @@ open Ast %inline locate(X): e = X { Asai.Range.locate_lex $loc e } +raw_ident: id = separated_nonempty_list(DOT, IDENT) { id } + %inline -ident: id = locate(IDENT) { id } +ident: id = locate(raw_ident) { id } raw_arg: LPR; name = ident; COLON; ty = expr; RPR { { name; ty } } @@ -31,7 +33,7 @@ raw_arg: LPR; name = ident; COLON; ty = expr; RPR arg: a = locate(raw_arg) { a } raw_expr: - | name = IDENT + | name = raw_ident { Var name } | LPR; e = raw_expr; RPR { e } |