fixed some warnings

usethesource · Mar 14, 2024 · 741304d · 741304d
1 parent 33959a4
commit 741304d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/org/rascalmpl/library/util/Validator.rsc b/src/org/rascalmpl/library/util/Validator.rsc
@@ -40,7 +40,7 @@ private data RuntimeException = none();
         // 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]?[]
             // 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);
         

diff --git a/src/org/rascalmpl/library/vis/Text.rsc b/src/org/rascalmpl/library/vis/Text.rsc
@@ -50,7 +50,7 @@ str prettyTree(Tree t, bool src=false, bool characters=true, bool \layout=false,
   str nodeLabel(loc src)                                      = "<src>";
   default str nodeLabel(Tree v)                               = "<v>";
 
-  lrel[str,value] edges(Tree t:appl(_,  list[Tree] args)) = [<"src", t.src> | src, t.src?] + [<"", k> | Tree k <- args, include(k)];
+  lrel[str,value] edges(Tree t:appl(_,  list[Tree] args)) = [<"src", t@\loc> | src, t@\loc?] + [<"", k> | Tree k <- args, include(k)];
   lrel[str,value] edges(amb(set[Tree] alts))              = [<"", a> | Tree a <- alts];
   lrel[str,value] edges(loc _)                            = [];
   default lrel[str,value] edges(Tree _)                   = [];