diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-02-19 15:26:24 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-19 15:26:24 +0100 |
| commit | a287d5a79406ac9042c5ca9bbd6b52b192ca1eee (patch) | |
| tree | e731090ef4f95ef7dbab282599b0b719fdcdd169 /TODO | |
| parent | a4b6b7bae563d8d2cfdbb5afc3bde594dad7f77b (diff) | |
names have identifiers
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -90,6 +90,7 @@ done: | |||
| 90 | - support recursive local definitions | 90 | - support recursive local definitions |
| 91 | - testenv: performance benchmarks (time and memory consumption) | 91 | - testenv: performance benchmarks (time and memory consumption) |
| 92 | - tuples are heterogeneous lists | 92 | - tuples are heterogeneous lists |
| 93 | - names have Int identifiers | ||
| 93 | 94 | ||
| 94 | next: | 95 | next: |
| 95 | - re-enable ambiguity checks | 96 | - re-enable ambiguity checks |
| @@ -148,7 +149,6 @@ extra (improvement): | |||
| 148 | - better persentation of types in editor tooltips | 149 | - better persentation of types in editor tooltips |
| 149 | - pattern variable type tooltips | 150 | - pattern variable type tooltips |
| 150 | - eliminate V0, V1, ... in type tooltips | 151 | - eliminate V0, V1, ... in type tooltips |
| 151 | - names should have unique identifiers | ||
| 152 | 152 | ||
| 153 | extra (refactoring): | 153 | extra (refactoring): |
| 154 | - compiler: refactor pretty printing | 154 | - compiler: refactor pretty printing |