diff options
| author | krasimir <krasimir@chalmers.se> | 2009-12-11 17:39:18 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-12-11 17:39:18 +0000 |
| commit | 5804db98167c118f910a3b76d42b2566ed347d51 (patch) | |
| tree | 2f600e860e6df496f87e1d1d625720ab63497e49 /testsuite | |
| parent | 3353059277c40eebe52b0479e7c230ff76d1d1d0 (diff) | |
judgements lindef are now respected by both the parser and the linearizer
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/runtime/linearize/TestCnc.gf | 9 |
1 files changed, 7 insertions, 2 deletions
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 |