From f9e4b8a1ef9cc7af83d35c0251196089fe3e2b63 Mon Sep 17 00:00:00 2001 From: paulklint Date: Sun, 3 Nov 2024 20:55:24 +0100 Subject: [PATCH] Added extra check forbidding recheck of library module --- .../rascalmpl/core/library/lang/rascalcore/check/Checker.rsc | 3 ++- 1 file changed, 2 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 b008d337..20eb08e7 100644 --- 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){