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/Test.gf | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

(limited to 'testsuite/runtime/linearize/Test.gf')

diff --git a/testsuite/runtime/linearize/Test.gf b/testsuite/runtime/linearize/Test.gf
index 2b7459806..db120bcc3 100644
--- a/testsuite/runtime/linearize/Test.gf
+++ b/testsuite/runtime/linearize/Test.gf
@@ -1,9 +1,16 @@
 abstract Test = {
 
-cat P ;
+cat S ;
 cat E ;
 
-fun Exist : (E -> P) -> P ;
-    Even  : E -> P ;
+fun Exist : (E -> S) -> S ;
+    Even  : E -> S ;
+
+fun a : E ;
+    f,fa,fb : E -> S ;
+
+fun IsString  : String -> S ;
+    IsInteger : Int    -> S ;
+    IsFloat   : Float  -> S ;
 
 }
\ No newline at end of file
-- 
cgit v1.2.3