Add some TODOs

1 files changed, 6 insertions, 0 deletions

diff --git a/TODO.md b/TODO.md
index 3816cda8..37d35138 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,5 +1,11 @@
 # TODO
 
+0. Priority:
+  * update treatment of matches
+  * remove prepass
+  * update pure expressions
+  * update control-flow reconstruction (Charon)
+
 0. Improve treatments of error and state error monads. In particular, introduce
    `return` and `fail`, and remove `Return` and `Fail`.