Fixed subtle omission in isAlreadyDefined

usethesource · Mar 18, 2024 · b3faa75 · b3faa75
1 parent cab44b9
commit b3faa75
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/analysis/typepal/Collector.rsc b/src/analysis/typepal/Collector.rsc
@@ -311,7 +311,9 @@ Collector newCollector(str modelName, map[str,Tree] namedTrees, TypePalConfig co
     }
 
     bool _isAlreadyDefined(str id,  Tree useOrDef){
-        lubdefs = { def | def <- lubDefinesPerLubScope[currentLubScope], def.id == id };
+
+        lubdefs = { def | def <- definesPerLubScope[currentLubScope], def.id == id } +
+                  { def | def <- lubDefinesPerLubScope[currentLubScope], def.id == id };
 
         if(!isEmpty(lubdefs) && any(def <- lubdefs, isContainedIn(getLoc(useOrDef), def.scope))){
             return true;