Generalized signature of getTypeInType

PaulKlint · PaulKlint · commit 05eaf17da47a · 2026-02-22T15:15:33.000+01:00
diff --git a/src/analysis/typepal/Solver.rsc b/src/analysis/typepal/Solver.rsc
@@ -1693,7 +1693,7 @@ Solver newSolver(map[str,Tree] namedTrees, TModel tm){
             /* Types */         solver_getType,
                                 solver_getTypeInScope,
                                 solver_getTypeInScopeFromName,
-                                solver_getTypeInType,
+                                solver_getTypeInType + getTypeInType,
                                 solver_getAllDefinedInType,
            /*Fact */            fact,
                                 solver_specializedFact,
