From 527d828067bc4780641c979ddc880f98322e4c31 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 4 Feb 2022 09:56:44 +0100
Subject: Update SymbolicToPure so that we don't construct tuples with exactly
 one field

---
 TODO.md | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'TODO.md')

diff --git a/TODO.md b/TODO.md
index acfebff6..f4dadea1 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,5 +1,11 @@
 # TODO
 
+0. In SymbolicToPure we do a few simplifications on types and values (simplification
+   of box type, removal of tuples which contain exactly one field - some fields
+   may have been filtered for the backward functions...): there are already a
+   few sanity checks, but we may to add more of them, which would type check
+   entire expressions for instance.
+
 0. merge the "read determinant" and the "switch" occurrences to "match"
 
 0. reaggregate the ADTs
-- 
cgit v1.2.3