reuse identical shader programs

1 files changed, 1 insertions, 1 deletions

diff --git a/TODO b/TODO
index 4cc9872a..274a3b9f 100644
--- a/TODO
+++ b/TODO
@@ -90,7 +90,6 @@ next:
 - support local pattern matching functions
 - support recursive local definitions
 - mutual recursion (inference & reduction)
-- compiler: ConName --> Int
 - compiler optimization: irrelevance + erasure
 - re-enable ambiguity checks
 - show desugared source code on a tab in the editor
@@ -154,6 +153,7 @@ extra (improvement):
 
 extra (refactoring):
 - compiler: refactor pretty printing
+- compiler: ConName --> Int
 
 ------------------------------------------------------------------- weeks Feb 22, Feb 29