Add some sanity checks and comments

1 files changed, 8 insertions, 1 deletions

diff --git a/TODO.md b/TODO.md
index a70e4546..62871300 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,6 +1,6 @@
 # TODO
 
-0. add a meta-value in shared borrows to carry the shared value
+0. sanity checks in symbolic to pure!
 
 0. update the end borrows internal to abstractions to not introduce a Bottom
 
@@ -8,6 +8,11 @@
 
 0. remove ABottom from avalue
 
+0. micro-passes for pure:
+   - remove unused variables
+   - remove useless function calls *if* they are followed by associated
+     backward calls (because they may panic!)
+
 1. reorder the branches of matches
 
 1. stateful maps/sets modules (hashtbl?)
@@ -154,3 +159,5 @@
 
 * fix the static regions (with projectors)
   Before that, introduce a sanity check to make sure we don't use static regions.
+
+* add a meta-value in shared borrows to carry the shared value