Merge pull request #40 from usethesource/fix/useViaType3

PaulKlint · web-flow · commit 1f33b22af9fc · 2026-02-26T19:27:40.000+01:00
Added a missing instantiate needed to handle tvars
diff --git a/src/analysis/typepal/Solver.rsc b/src/analysis/typepal/Solver.rsc
@@ -674,6 +674,7 @@ Solver newSolver(map[str,Tree] namedTrees, TModel tm){
         if(!solver_isFullyInstantiated(containerType)){
             throw TypeUnavailable();
         }
+        containerType = instantiate(containerType);
         selectorLoc = getLogicalLoc(selector);
         selectorOrgName = "<selector>";
         selectorName = normalizeName(selectorOrgName);

Original file line number	Diff line number	Diff line change
`@@ -674,6 +674,7 @@ Solver newSolver(map[str,Tree] namedTrees, TModel tm){`
`674`	`674`	`if(!solver_isFullyInstantiated(containerType)){`
`675`	`675`	`throw TypeUnavailable();`
`676`	`676`	`}`
	`677`	`+ containerType = instantiate(containerType);`
`677`	`678`	`selectorLoc = getLogicalLoc(selector);`
`678`	`679`	`selectorOrgName = "<selector>";`
`679`	`680`	`selectorName = normalizeName(selectorOrgName);`