additional tests for linearizations

1 files changed, 10 insertions, 1 deletions

diff --git a/testsuite/runtime/linearize/TestCnc.gf b/testsuite/runtime/linearize/TestCnc.gf
index 025e7af34..81353e35e 100644
--- a/testsuite/runtime/linearize/TestCnc.gf
+++ b/testsuite/runtime/linearize/TestCnc.gf
@@ -4,9 +4,18 @@ param Number = Pl | Sg;
 lincat E = {s:Str; n : Number} ;

 lindef E = \s -> {s=s; n=Sg} ;

 

-lincat P = {s:Str} ;

+lincat S = {s:Str} ;

 

 lin Exist f = {s = "exists" ++ f.$0 ++ "such that" ++ f.s};

 lin Even x  = {s = x.s ++ case x.n of {Sg => "is"; Pl => "are"} ++ "even"};

 

+lin a = {s = pre {"a"; "aa" / strs {"a"}}; n = Pl} ;

+lin f  a = {s = a.s};

+lin fa a = {s = a.s ++ "a"};

+lin fb a = {s = a.s ++ "b"};

+

+lin IsString  x = {s = x.s ++ "is string"} ;

+lin IsInteger x = {s = x.s ++ "is integer"} ;

+lin IsFloat   x = {s = x.s ++ "is float"} ;

+

 }
\ No newline at end of file