Fixed warning (#38)

PaulKlint · web-flow · commit d8dfab7e49d4 · 2026-02-18T10:37:23.000+01:00
diff --git a/src/analysis/typepal/Solver.rsc b/src/analysis/typepal/Solver.rsc
@@ -741,7 +741,7 @@ Solver newSolver(map[str,Tree] namedTrees, TModel tm){
                     addFact(selectorLoc, tp);
                     return tp;
                  } else {
-                    for(<loc key, IdRole idr, AType tp> <- valid_overloads){
+                    for(<loc key, IdRole idr, AType _> <- valid_overloads){
                         if(idr in idRolesSel)  addUse({key}, selectorUse);
                     }
                     tp2 = overloadedAType(valid_overloads);

Original file line number	Diff line number	Diff line change
`@@ -741,7 +741,7 @@ Solver newSolver(map[str,Tree] namedTrees, TModel tm){`
`741`	`741`	`addFact(selectorLoc, tp);`
`742`	`742`	`return tp;`
`743`	`743`	`} else {`
`744`		`- for(<loc key, IdRole idr, AType tp> <- valid_overloads){`
	`744`	`+ for(<loc key, IdRole idr, AType _> <- valid_overloads){`
`745`	`745`	`if(idr in idRolesSel) addUse({key}, selectorUse);`
`746`	`746`	`}`
`747`	`747`	`tp2 = overloadedAType(valid_overloads);`