1 files changed, 4 insertions, 3 deletions
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