From 3cf472b13c9b329b711a5c254fc6f89268a99eda Mon Sep 17 00:00:00 2001
From: Malte Voos <git@mal.tc>
Date: Mon, 8 Jul 2024 23:59:31 +0200
Subject: implement argument lists for top-level definitions

---
 src/parser/Grammar.mly | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/parser/Grammar.mly')

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 }
 
-- 
cgit 1.4.1