rollback

usethesource · Mar 14, 2024 · 6071b8a · 6071b8a
1 parent 480b8ad
commit 6071b8a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/org/rascalmpl/library/util/Validator.rsc b/src/org/rascalmpl/library/util/Validator.rsc
@@ -38,9 +38,9 @@ private data RuntimeException = none();
 	    name = getName(v);
 
         // there may be several constructors with this name; we try them all, backtracking over already validated sub-values:
-        for (/\cons(label(str otherName:name, def), list[Symbol] _symbols, list[Symbol] _kwTypes, set[Attr] _) := grammar[def]?[]
+        for (/\cons(label(str otherName:name, def), list[Symbol] symbols, list[Symbol] _kwTypes, set[Attr] _) := grammar[def]?[]
             // if the constructors with the right name are exhausted, we try the others (in relaxed mode)
-            || <true, name, def, /\cons(label(otherName, _), list[Symbol] _symbols, list[Symbol] _kwTypes, set[Attr] _)> := <relaxed, name, def, grammar[def]?[]>) {
+            || <true, name, def, /\cons(label(otherName, _), list[Symbol] symbols, list[Symbol] _kwTypes, set[Attr] _)> := <relaxed, name, def, grammar[def]?[]>) {
             children = getChildren(v);
             params = getKeywordParameters(v);