From 71fb2c16cd551eb4f9c41855baba62d6c186d8d3 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Wed, 30 Nov 2005 21:02:44 +0000
Subject: Transfer: added example which makes the layout resolver go wrong.
 Added binary conversion from numerals.

---
 transfer/TODO | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'transfer/TODO')

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
-- 
cgit v1.2.3