getModuleParseTree: did we really find a source file, otherwise fail

usethesource · Sep 20, 2024 · 6aee41c · 6aee41c
1 parent 9c86bd7
commit 6aee41c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/CheckerCommon.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/CheckerCommon.rsc
@@ -137,7 +137,9 @@ tuple[bool, Module, ModuleStatus] getModuleParseTree(str qualifiedModuleName, Mo
             ms.parseTreeLIFO = [qualifiedModuleName, *ms.parseTreeLIFO];
             mloc = |unknown:///<qualifiedModuleName>|;
             try {
-                mloc = getModuleLocation(qualifiedModuleName, pcfg);      
+                mloc = getModuleLocation(qualifiedModuleName, pcfg); 
+                // Make sure we found a real source module (as opposed to a tpl module in  a library
+                if(mloc.extension != "rsc") throw "";     
             } catch _: {
                 //ms.messages[qualifiedModuleName] ? [] = [error("Module <qualifiedModuleName> not found", mloc)];
                 //ms.status[qualifiedModuleName] += {not_found()};