Added extra check forbidding recheck of library module

usethesource · Nov 3, 2024 · f9e4b8a · f9e4b8a
1 parent e479c11
commit f9e4b8a
Showing 1 changed file with 2 additions and 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
@@ -216,12 +216,13 @@ ModuleStatus rascalTModelForLocs(
             }
 
             any_rsc_changed = any(m <- component, rsc_changed() in ms.status[m]);
+            any_from_lib = any(m <- component, rsc_not_found() in ms.status[m]);
             all_tmodels_uptodate = true;
             for(m <- component){
                 if(tpl_uptodate() notin ms.status[m] && checked() notin ms.status[m])
                     all_tmodels_uptodate = false;
             }
-            recheckCond = !compatible_with_all_imports || any_rsc_changed || !all_tmodels_uptodate;
+            recheckCond = !any_from_lib && (!compatible_with_all_imports || any_rsc_changed || !all_tmodels_uptodate);
 
              if(recheckCond){
                 if(ms.compilerConfig.verbose){