Skip to content

Commit aad4e75

Browse files
committed
Clean up
1 parent d12b796 commit aad4e75

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

src/analysis/typepal/Collector.rsc

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -781,7 +781,7 @@ Collector newCollector(str modelName, map[str,Tree] namedTrees, TypePalConfig co
781781

782782
for(def <- sortedLubDefs){
783783
if(def != firstDefine && def.scope notin enclosedScopes[firstDefine.scope]){
784-
mergedDefs += {<firstDefine.scope, id, id, role, /*0,*/ firstDefine.defined, defTypeLub(ldeps, ldefs, getATypes)> | role <- roles, <ldeps, ldefs> := computeDepsAndDefs(deps, defineds, uses, firstDefine.scope, enclosedScopes)};
784+
mergedDefs += {<firstDefine.scope, id, id, role, firstDefine.defined, defTypeLub(ldeps, ldefs, getATypes)> | role <- roles, <ldeps, ldefs> := computeDepsAndDefs(deps, defineds, uses, firstDefine.scope, enclosedScopes)};
785785
deps = {}; getATypes = [];
786786
defineds = {};
787787
roles = {};
@@ -792,7 +792,7 @@ Collector newCollector(str modelName, map[str,Tree] namedTrees, TypePalConfig co
792792
deps += toSet(def.defInfo.dependsOn);
793793
getATypes += def.defInfo.getATypes;
794794
}
795-
mergedDefs += {<scope, id, id, role, /*0,*/ firstDefine.defined, defTypeLub(ldeps, ldefs, getATypes)> | role <- roles, <ldeps, ldefs> := computeDepsAndDefs(deps, defineds, uses, firstDefine.scope, enclosedScopes)};
795+
mergedDefs += {<scope, id, id, role, firstDefine.defined, defTypeLub(ldeps, ldefs, getATypes)> | role <- roles, <ldeps, ldefs> := computeDepsAndDefs(deps, defineds, uses, firstDefine.scope, enclosedScopes)};
796796
return mergedDefs;
797797
}
798798

@@ -802,7 +802,7 @@ Collector newCollector(str modelName, map[str,Tree] namedTrees, TypePalConfig co
802802
outer = lubScope;
803803
while(scopes[outer]? && scopes[outer] != |global-scope:///|){
804804
outer = scopes[outer];
805-
for(<loc _, id, _, idRole, /*int _,*/ loc _, DefInfo _> <- definesPerLubScope[outer] ? {}, config.isInferrable(idRole)){
805+
for(<loc _, id, _, idRole, loc _, DefInfo _> <- definesPerLubScope[outer] ? {}, config.isInferrable(idRole)){
806806
return true;
807807
}
808808
}

0 commit comments

Comments
 (0)