summaryrefslogtreecommitdiff
path: root/transfer
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2005-11-30 21:30:36 +0000
committerbringert <bringert@cs.chalmers.se>2005-11-30 21:30:36 +0000
commit938318d72b0eda095b835eadf342b7216c65602d (patch)
tree300d27bcef71d9e28fc8e95887ccb1ecc24eee11 /transfer
parent71fb2c16cd551eb4f9c41855baba62d6c186d8d3 (diff)
Fixed layout stop word bug.
Diffstat (limited to 'transfer')
-rw-r--r--transfer/TODO7
1 files changed, 0 insertions, 7 deletions
diff --git a/transfer/TODO b/transfer/TODO
index e78d634bd..e5b6a4876 100644
--- a/transfer/TODO
+++ b/transfer/TODO
@@ -26,13 +26,6 @@
- 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