Start working on greedy symbolic value expansion and expansion before

assignment

1 files changed, 5 insertions, 5 deletions

diff --git a/TODO.md b/TODO.md
index fdebe51f..c56c91a9 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,13 +1,13 @@
 # TODO
 
-1. add a switch to allow general symbolic values (containing references, etc.)
-  or not.
-
-2. expand symbolic values which are primitively copyable upon using them as
+1. expand symbolic values which are primitively copyable upon using them as
   function arguments or putting them in the return value, in order to deduplicate
   those values.
 
-4. add a check in function inputs: ok to take as parameters symbolic values with
+2. add a switch to allow general symbolic values (containing references, etc.)
+  or not.
+
+3. add a check in function inputs: ok to take as parameters symbolic values with
   borrow parameters *if* they come from the "input abstractions".
   In order to do this, add a symbolic value kind (would make things easier than
   adding ad-hoc lookups...): `FunRet`, `FunGivenBack`, `SynthInput`, `SynthGivenBack`