From eeb08bbd4d6d6545dfdefd3a35877e0e0117c514 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Thu, 18 Jun 2009 17:47:06 +0000
Subject: added testcase for linearization with HOAS

---
 testsuite/runtime/linearize/TestCnc.gf | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 testsuite/runtime/linearize/TestCnc.gf

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

diff --git a/testsuite/runtime/linearize/TestCnc.gf b/testsuite/runtime/linearize/TestCnc.gf
new file mode 100644
index 000000000..17de23793
--- /dev/null
+++ b/testsuite/runtime/linearize/TestCnc.gf
@@ -0,0 +1,7 @@
+concrete TestCnc of Test = {
+
+lincat E,P = {s:Str} ;
+
+lin Exist f = {s = "exists" ++ f.$0 ++ "such that" ++ f.s};
+lin Even x  = {s = x.s ++ "is even"};
+}
\ No newline at end of file
-- 
cgit v1.2.3