From f8af5122b5dd1e09288df59e5f6d77705f99b287 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Tue, 12 Jan 2010 13:18:37 +0000
Subject: additional tests for linearizations

---
 testsuite/runtime/linearize/linearize.gfs | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'testsuite/runtime/linearize/linearize.gfs')

diff --git a/testsuite/runtime/linearize/linearize.gfs b/testsuite/runtime/linearize/linearize.gfs
index 6ffeb52b6..ba4486217 100644
--- a/testsuite/runtime/linearize/linearize.gfs
+++ b/testsuite/runtime/linearize/linearize.gfs
@@ -1,3 +1,12 @@
 i -src testsuite/runtime/linearize/TestCnc.gf
 
-l Exist (\x -> Even x)
+l Even ?
+l Exist (\x -> <Even : E -> S> x)
+l f  a
+l fa a
+l fb a
+l IsString "abcd"
+l IsInteger 100
+l IsFloat   12.4
+l <IsString "xyz" : S>
+l <\x -> x : S -> S>
\ No newline at end of file
-- 
cgit v1.2.3