diff options
Diffstat (limited to 'src/parser/Grammar.mly')
| -rw-r--r-- | src/parser/Grammar.mly | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/Grammar.mly b/src/parser/Grammar.mly index d49c050..5e4886e 100644 --- a/src/parser/Grammar.mly +++ b/src/parser/Grammar.mly @@ -84,8 +84,8 @@ raw_expr: expr: e = locate(raw_expr) { e } item: - | DEF; name = ident; COLON; tp = expr; ASSIGN; tm = expr - { Def { name; tp; tm } } + | DEF; name = ident; args = list(arg); COLON; tp = expr; ASSIGN; tm = expr + { Def { name; args; tp; tm } } file: items = list(item) { items } |