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/examples/test.tr | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'transfer/examples/test.tr')

diff --git a/transfer/examples/test.tr b/transfer/examples/test.tr
index de1ee75c0..7f94788a4 100644
--- a/transfer/examples/test.tr
+++ b/transfer/examples/test.tr
@@ -1,3 +1,4 @@
-import prelude 
-
-main = x :: y :: z :: []
\ No newline at end of file
+main = let x : Type = case n of
+		n2 -> 2
+		n3 -> 3
+        in f Numeral
\ No newline at end of file
-- 
cgit v1.2.3