diff options
author | Péter Diviánszky <divipp@gmail.com> | 2015-12-17 10:45:38 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2015-12-17 10:45:38 +0100 |
commit | 8bdc81e0bc4974bd89a04026f4d432cba8fe765a (patch) | |
tree | dd128cff3f0ac936586dc0e76105ade6b88dc5e8 /prototypes | |
parent | 6be08b2d251ba1896748a792bace04c4515235bd (diff) |
update TODO list
Diffstat (limited to 'prototypes')
-rw-r--r-- | prototypes/TODO | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/prototypes/TODO b/prototypes/TODO index f70211ab..5fc59515 100644 --- a/prototypes/TODO +++ b/prototypes/TODO | |||
@@ -52,21 +52,25 @@ fő tennivaló: a típusozó kiegészítése | |||
52 | 52 | ||
53 | -------------------------------------------------------------------------------- short-term TODOs | 53 | -------------------------------------------------------------------------------- short-term TODOs |
54 | 54 | ||
55 | - row polymorphism | ||
56 | - swizzling | ||
57 | |||
58 | - guards + where | ||
59 | |||
60 | - (a ~ b) + (a ~ c) ---> b ~ c (fragment06tailrecursion) | ||
61 | - recheck should not fail - coe missing? | 55 | - recheck should not fail - coe missing? |
62 | 56 | - fix loop | |
63 | - labels for corecursion; fix loop | ||
64 | primes | 57 | primes |
65 | record02 | 58 | record02 |
66 | recursivetexture01 | 59 | recursivetexture01 |
60 | - (a ~ b) + (a ~ c) ---> b ~ c (fragment06tailrecursion) | ||
61 | |||
62 | - row polymorphism | ||
63 | - swizzling | ||
64 | - record projection functions | ||
65 | - @ patterns | ||
66 | - hiding | ||
67 | 67 | ||
68 | -------------------------------------------------------------------------------- TODOs after 100% tests (completion & cleanup) | 68 | -------------------------------------------------------------------------------- TODOs after 100% tests (completion & cleanup) |
69 | 69 | ||
70 | - dependent prelude should work again | ||
71 | - guards + where | ||
72 | - complete & review builtin reductions | ||
73 | |||
70 | - record filed name handling | 74 | - record filed name handling |
71 | - constructor operator fixities (also in patterns) | 75 | - constructor operator fixities (also in patterns) |
72 | 76 | ||