From e7e51b2e492fc04fef859dda8c532c8db9a5bfd0 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 26 Jan 2022 16:34:51 +0100
Subject: Add TODOs

---
 TODO.md | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/TODO.md b/TODO.md
index 62871300..1632a3ca 100644
--- a/TODO.md
+++ b/TODO.md
@@ -10,8 +10,11 @@
 
 0. micro-passes for pure:
    - remove unused variables
-   - remove useless function calls *if* they are followed by associated
-     backward calls (because they may panic!)
+   - remove useless function calls:
+     - calls which don't introduce values *if* they are followed by associated
+       backward calls (because they may panic!)
+     - calls which don't take inputs (can happen with backward functions - for
+       instance, if a rust function only returns shared borrows)
 
 1. reorder the branches of matches
 
-- 
cgit v1.2.3