From e7fee47951f36bde53a4f205c5202f33ae04754f Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Sun, 8 Dec 2024 11:19:59 +0100
Subject: [PATCH] Made check more robust for missing modules

---
 .../core/library/lang/rascalcore/check/Checker.rsc          | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/Checker.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/Checker.rsc
index 37d77fd6..c4ed07e4 100644
--- a/src/org/rascalmpl/core/library/lang/rascalcore/check/Checker.rsc
+++ b/src/org/rascalmpl/core/library/lang/rascalcore/check/Checker.rsc
@@ -536,7 +536,11 @@ list[ModuleMessages] check(list[loc] moduleLocs, RascalCompilerConfig compilerCo
     pcfg1 = compilerConfig.typepalPathConfig; pcfg1.classloaders = []; pcfg1.javaCompilerPath = [];
     compilerConfig.typepalPathConfig = pcfg1;
     ms = rascalTModelForLocs(moduleLocs, compilerConfig, dummy_compile1);
-    return [ program(ms.moduleLocs[mname] ? |unknown:///|, ms.messages[mname]) | mname <- ms.messages ];
+    messagesNoModule = [];
+    for(mname <- ms.messages, !ms.moduleLocs[mname]?){
+        messagesNoModule += ms.messages[mname];
+    }   
+    return [ program(ms.moduleLocs[mname], ms.messages[mname] + messagesNoModule) | mname <- ms.messages, ms.moduleLocs[mname] ?  ];
 }
 
 list[ModuleMessages] checkAll(loc root, RascalCompilerConfig compilerConfig){