Fixed error reduction

usethesource · Mar 11, 2024 · d12b796 · d12b796
1 parent c8226f5
commit d12b796
Showing 1 changed file with 4 additions and 7 deletions.
diff --git a/src/analysis/typepal/Solver.rsc b/src/analysis/typepal/Solver.rsc
@@ -1502,13 +1502,8 @@ Solver newSolver(map[str,Tree] namedTrees, TModel tm){
         tm.config.postSolver(namedTrees, thisSolver);
 
         // Convert all FaillMessages into Messages
-        error_locations = {};
-        for(fm <- failMessages){
-            msg = toMessage(fm, getType);
-            if(error(_,src) := msg){
-                error_locations += src;
-            }
-            messages += msg;
+        for(fm <- failMessages){        
+            messages += toMessage(fm, getType);
         }
 
         for(Use u <- openUses){
@@ -1524,6 +1519,8 @@ Solver newSolver(map[str,Tree] namedTrees, TModel tm){
             roles = size(u.idRoles) > 5 ? "" : intercalateOr([prettyRole(idRole) | idRole <- u.idRoles]);
             messages += error("Undefined <roles> `<getOrgId(u)>`", u.occ);
         }
+
+        error_locations = { src | error(_,loc src) <- messages };
 
         for(rp <- referPaths){
             switch(rp){