diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-11-30 21:02:44 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-11-30 21:02:44 +0000 |
| commit | 71fb2c16cd551eb4f9c41855baba62d6c186d8d3 (patch) | |
| tree | 9e5cb27b43c9fd262886e0441397ba1b39a09b25 /transfer/TODO | |
| parent | 7dfa1842859b408d0eadd4d79a5b1ce0267a13b2 (diff) | |
Transfer: added example which makes the layout resolver go wrong. Added binary conversion from numerals.
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 |