diff options
author | Son Ho | 2022-02-04 09:56:44 +0100 |
---|---|---|
committer | Son Ho | 2022-02-04 09:56:44 +0100 |
commit | 527d828067bc4780641c979ddc880f98322e4c31 (patch) | |
tree | 1a4856ac9bb88b80c05245a867038c6691abecca /TODO.md | |
parent | 540c13ac94e00fae062cd328903711ea9693ddfc (diff) |
Update SymbolicToPure so that we don't construct tuples with exactly one
field
Diffstat (limited to '')
-rw-r--r-- | TODO.md | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -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 |