From 9ca1d0c763e1c506ae7b43d50db225914b709397 Mon Sep 17 00:00:00 2001
From: Kimplul <kimi.h.kuparinen@gmail.com>
Date: Thu, 16 Jan 2025 00:21:02 +0200
Subject: more strict trait checking

---
 src/parser.y | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/parser.y')

diff --git a/src/parser.y b/src/parser.y
index 18de0e1..45cac92 100644
--- a/src/parser.y
+++ b/src/parser.y
@@ -683,7 +683,7 @@ opt_types
 	| { $$ = NULL; }
 
 type_expand
-	: APPLY "[" opt_types "]" { $$ = gen_type_expand($1, $3, src_loc(@$)); }
+	: APPLY { $$ = gen_type_expand($1, NULL, src_loc(@$)); }
 
 var_decl
 	: type ID { $$ = gen_var($2, $1, NULL, src_loc(@$));  }
@@ -810,8 +810,8 @@ opt_type_params
 	| { $$ = NULL; }
 
 trait
-	: "define" ID "[" opt_type_params "]" "{" opt_behaviours "}" {
-		$$ = gen_trait($2, $4, $7, src_loc(@$));
+	: "define" ID "{" opt_behaviours "}" {
+		$$ = gen_trait($2, NULL, $4, src_loc(@$));
 	}
 
 enum_val
-- 
cgit v1.3