Added comment

usethesource · Oct 16, 2024 · 54c6014 · 54c6014
1 parent ef23231
commit 54c6014
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/analysis/typepal/Collector.rsc b/src/analysis/typepal/Collector.rsc
@@ -215,6 +215,7 @@ TModel convertLocs(TModel tm, map[loc,loc] locMap){
     tm.facts = visit(tm.facts){ case loc l => locMap[l] ? l };
     tm.specializedFacts = visit(tm.specializedFacts){ case loc l => locMap[l] ? l };
     tm.useDef = { < locMap[f] ? f, locMap[t] ? t > | <f, t> <- tm.useDef };
+    // Exlude messages from conversion: otherwise users would see logical locations
     //tm.messages =  visit(tm.messages){ case loc l => locMap[l] ? l };
     tm.store =  visit(tm.store){ case loc l => locMap[l] ? l };
     tm.config = visit(tm.config){ case loc l => locMap[l] ? l };