diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-02-18 09:56:22 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-18 09:56:35 +0100 |
| commit | c468af5fdba01215c117aa7637f10fe1acfcdb4d (patch) | |
| tree | d06d982778c43fce60abb3113413c892aa7b721c /TODO | |
| parent | 6fb07d45cba2fea6c984ad27e31f3ac598b0dbe6 (diff) | |
support local pattern matching functions and local recursive functions
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 6 |
1 files changed, 4 insertions, 2 deletions
| @@ -85,14 +85,16 @@ done: | |||
| 85 | - don't overnormalize (String => [Char]) | 85 | - don't overnormalize (String => [Char]) |
| 86 | - compiler: support function recognition | 86 | - compiler: support function recognition |
| 87 | - backend: generate functions in shaders | 87 | - backend: generate functions in shaders |
| 88 | 88 | - backend: remove duplicate programs | |
| 89 | next: | ||
| 90 | - support local pattern matching functions | 89 | - support local pattern matching functions |
| 91 | - support recursive local definitions | 90 | - support recursive local definitions |
| 91 | |||
| 92 | next: | ||
| 92 | - mutual recursion (inference & reduction) | 93 | - mutual recursion (inference & reduction) |
| 93 | - compiler optimization: irrelevance + erasure | 94 | - compiler optimization: irrelevance + erasure |
| 94 | - re-enable ambiguity checks | 95 | - re-enable ambiguity checks |
| 95 | - show desugared source code on a tab in the editor | 96 | - show desugared source code on a tab in the editor |
| 97 | - names should have unique identifiers | ||
| 96 | 98 | ||
| 97 | - testenv: performance benchmarks (time and memory consumption) | 99 | - testenv: performance benchmarks (time and memory consumption) |
| 98 | done - create benchmark test set (pipeline codegen and error report) | 100 | done - create benchmark test set (pipeline codegen and error report) |