Fixed missing unused import warning in circular dependency.

PaulKlint · PaulKlint · commit eccf21a3f7a2 · 2025-02-21T15:42:48.000+01:00
Fixes #2152
diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/Checker.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/Checker.rsc
@@ -295,7 +295,7 @@ ModuleStatus rascalTModelForLocs(
                                    if(ms.moduleLocs[iname]? && ms.moduleLocs[m]? && usesOrExtendsADT(ms.moduleLocs[m].path, ms.moduleLocs[iname].path, tm)){
                                     continue check_imports;
                                    }
-                                   if(checked() in ms.status[iname] && rsc_not_found() notin ms.status[iname]){
+                                   if((iname in component || checked() in ms.status[iname]) && rsc_not_found() notin ms.status[iname]){
                                        if(imod is \default){
                                          imsgs += warning("Unused import of `<iname>`", imod@\loc);
                                        } //else { //TODO: maybe add option to turn off info messages?

Original file line number	Diff line number	Diff line change
`@@ -295,7 +295,7 @@ ModuleStatus rascalTModelForLocs(`
`295`	`295`	`if(ms.moduleLocs[iname]? && ms.moduleLocs[m]? && usesOrExtendsADT(ms.moduleLocs[m].path, ms.moduleLocs[iname].path, tm)){`
`296`	`296`	`continue check_imports;`
`297`	`297`	`}`
`298`		`- if(checked() in ms.status[iname] && rsc_not_found() notin ms.status[iname]){`
	`298`	`+ if((iname in component \|\| checked() in ms.status[iname]) && rsc_not_found() notin ms.status[iname]){`
`299`	`299`	`if(imod is \default){`
`300`	`300`	imsgs += warning("Unused import of `<iname>`", imod@\loc);
`301`	`301`	`} //else { //TODO: maybe add option to turn off info messages?`