From f0956a7491b4b004978cba8d25d979843b6e2e0f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sat, 12 Feb 2022 13:37:57 +0100
Subject: Add some TODOs

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

diff --git a/TODO.md b/TODO.md
index 2a5b8efe..62eb95d5 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,5 +1,9 @@
 # TODO
 
+0. borrows which are never ended? Drop locals in *symbolic* modes upon return
+
+0. improve variable names generation: "hash_map" -> "hm" (and not just "h")
+
 0. replace all the `failwith` with `raise (Failure ...)`: in CPS, it messes
    up with provenance tracking
 
-- 
cgit v1.2.3