Add workaround for current flattener requirements

informalsystems · Aug 9, 2023 · 5757f35 · 5757f35
1 parent b44fe7c
commit 5757f35
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/quint/src/ir/namespacer.ts b/quint/src/ir/namespacer.ts
@@ -40,7 +40,12 @@ class Namespacer implements IRTransformer {
   }
 
   exitDef(def: QuintDef): QuintDef {
-    if (isFlat(def) && !this.namesToPreserve.has(def.name)) {
+    // FIXME: The current flattener expects `namesToPreserve` to be ignored for def names.
+    // In the new flattener, we will need to consider it here as well.
+    // Also, considering it here makes the interface consistent.
+    // Uncomment the following line when the new flattener is in place:
+    // if (isFlat(def) && !this.namesToPreserve.has(def.name)) {
+    if (isFlat(def)) {
       return { ...def, name: namespacedName(this.namespace, def.name) }
     }