diff options
Diffstat (limited to 'TODO')
-rw-r--r-- | TODO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -90,7 +90,6 @@ next: | |||
90 | - support local pattern matching functions | 90 | - support local pattern matching functions |
91 | - support recursive local definitions | 91 | - support recursive local definitions |
92 | - mutual recursion (inference & reduction) | 92 | - mutual recursion (inference & reduction) |
93 | - compiler: ConName --> Int | ||
94 | - compiler optimization: irrelevance + erasure | 93 | - compiler optimization: irrelevance + erasure |
95 | - re-enable ambiguity checks | 94 | - re-enable ambiguity checks |
96 | - show desugared source code on a tab in the editor | 95 | - show desugared source code on a tab in the editor |
@@ -154,6 +153,7 @@ extra (improvement): | |||
154 | 153 | ||
155 | extra (refactoring): | 154 | extra (refactoring): |
156 | - compiler: refactor pretty printing | 155 | - compiler: refactor pretty printing |
156 | - compiler: ConName --> Int | ||
157 | 157 | ||
158 | ------------------------------------------------------------------- weeks Feb 22, Feb 29 | 158 | ------------------------------------------------------------------- weeks Feb 22, Feb 29 |
159 | 159 | ||