diff options
Diffstat (limited to 'transfer/TODO')
| -rw-r--r-- | transfer/TODO | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/transfer/TODO b/transfer/TODO index e5b6a4876..e78d634bd 100644 --- a/transfer/TODO +++ b/transfer/TODO @@ -26,6 +26,13 @@ - Patterns with guards +- Layout syntax resolver gets this wrong: + +main = let x : Type = case n of + n2 -> 2 + n3 -> 3 + in f Numeral + * Improve interpreter - More efficient handling of constructor application |