diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-02-17 09:05:17 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-17 09:49:31 +0100 |
commit | 02d18fe787cbe69d422ad9f76a5324f6ba86f4da (patch) | |
tree | 1e8446210e16703fd79d2497f674491c3ff74a2c /TODO | |
parent | c1f5d16a3d7b8f394094088d0bb92876bb3e39db (diff) |
reuse identical shader programs
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 | ||