From 5804db98167c118f910a3b76d42b2566ed347d51 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Fri, 11 Dec 2009 17:39:18 +0000
Subject: judgements lindef are now respected by both the parser and the
 linearizer

---
 testsuite/runtime/linearize/TestCnc.gf | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'testsuite/runtime/linearize')

diff --git a/testsuite/runtime/linearize/TestCnc.gf b/testsuite/runtime/linearize/TestCnc.gf
index 17de23793..025e7af34 100644
--- a/testsuite/runtime/linearize/TestCnc.gf
+++ b/testsuite/runtime/linearize/TestCnc.gf
@@ -1,7 +1,12 @@
 concrete TestCnc of Test = {
 
-lincat E,P = {s:Str} ;
+param Number = Pl | Sg;
+lincat E = {s:Str; n : Number} ;
+lindef E = \s -> {s=s; n=Sg} ;
+
+lincat P = {s:Str} ;
 
 lin Exist f = {s = "exists" ++ f.$0 ++ "such that" ++ f.s};
-lin Even x  = {s = x.s ++ "is even"};
+lin Even x  = {s = x.s ++ case x.n of {Sg => "is"; Pl => "are"} ++ "even"};
+
 }
\ No newline at end of file
-- 
cgit v1.2.3