Fix related bug to 651

microsoft · Apr 18, 2024 · b6f0593 · b6f0593
1 parent 9bf815e
commit b6f0593
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/passes/structure.cc b/src/passes/structure.cc
@@ -172,7 +172,7 @@ namespace verona
                          << (Block << (Expr << (Default << _[Expr])));
           },
 
-        In(Params) * (!T(Param))[Param] >>
+        In(Params) * (!T(Param, Error))[Param] >>
           [](Match& _) { return err(_(Param), "Expected a parameter"); },
 
         // Use.