Bring a spec's variables values into canonical form when serializing via

the `CSV!CSVWrite` operator. [Bug]
tlaplus · Nov 1, 2022 · 7373da0 · 7373da0
1 parent 489852f
commit 7373da0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/modules/tlc2/overrides/CSV.java b/modules/tlc2/overrides/CSV.java
@@ -57,6 +57,7 @@ public static Value write(final StringValue template, final Value parameter, fin
 			throw new EvalException(EC.TLC_MODULE_ONE_ARGUMENT_ERROR,
 					new String[] { "CSVWrite", "sequence", Values.ppr(parameter.toString()) });
 		}
+		tv.deepNormalize();
 		final Object[] params = Arrays.asList(tv.getElems()).stream().map(v -> v.toString())
 				.toArray(size -> new Object[size]);
 		Files.write(Paths.get(absolutePath.val.toString()),