From b4575f65a98c4ef124383b3a3c11362caf1ac275 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Thu, 16 Mar 2017 18:21:22 +0100
Subject: [PATCH] TODO.

---
 TODO | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/TODO b/TODO
index 96721b0..02fe813 100644
--- a/TODO
+++ b/TODO
@@ -2,9 +2,7 @@
 
 TODO (REALLY)
 
-Continue to clean up near [ascend].
-  Inline some functions used only once? [ifeqphys], [ifbuild]
-  Share (bind rs ss (visit_types tys subjects) (ascend#ascend))
+Try to better clean up & share at the three call sites of [bulk].
 
 beware of capture: code in @build can see some private variables
 
-- 
GitLab