From 3cf472b13c9b329b711a5c254fc6f89268a99eda Mon Sep 17 00:00:00 2001 From: Malte Voos Date: Mon, 8 Jul 2024 23:59:31 +0200 Subject: implement argument lists for top-level definitions --- src/ast/Ast.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'src/ast/Ast.ml') diff --git a/src/ast/Ast.ml b/src/ast/Ast.ml index 5952977..bbf3e93 100644 --- a/src/ast/Ast.ml +++ b/src/ast/Ast.ml @@ -32,6 +32,7 @@ and expr = raw_expr Asai.Range.located type item = | Def of { name : ident; + args : arg List.t; tp : expr; tm : expr; } -- cgit 1.4.1