diff options
Diffstat (limited to 'prototypes/TODO')
| -rw-r--r-- | prototypes/TODO | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prototypes/TODO b/prototypes/TODO index a5a61582..e51fba0c 100644 --- a/prototypes/TODO +++ b/prototypes/TODO | |||
| @@ -62,7 +62,6 @@ fő tennivaló: a típusozó kiegészítése | |||
| 62 | 62 | ||
| 63 | - record projection functions | 63 | - record projection functions |
| 64 | - @ patterns | 64 | - @ patterns |
| 65 | - type annotation in where blocks | ||
| 66 | - where block in case | 65 | - where block in case |
| 67 | 66 | ||
| 68 | -------------------------------------------------------------------------------- TODOs after 100% tests (completion & cleanup) | 67 | -------------------------------------------------------------------------------- TODOs after 100% tests (completion & cleanup) |
| @@ -70,6 +69,7 @@ fő tennivaló: a típusozó kiegészítése | |||
| 70 | - dependent prelude should work again | 69 | - dependent prelude should work again |
| 71 | - guards + where | 70 | - guards + where |
| 72 | - complete & review builtin reductions | 71 | - complete & review builtin reductions |
| 72 | - type annotation in where blocks | ||
| 73 | 73 | ||
| 74 | - record filed name handling | 74 | - record filed name handling |
| 75 | - constructor operator fixities (also in patterns) | 75 | - constructor operator fixities (also in patterns) |