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/Test.gf | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 testsuite/runtime/linearize/Test.gf

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

diff --git a/testsuite/runtime/linearize/Test.gf b/testsuite/runtime/linearize/Test.gf
new file mode 100644
index 000000000..2b7459806
--- /dev/null
+++ b/testsuite/runtime/linearize/Test.gf
@@ -0,0 +1,9 @@
+abstract Test = {
+
+cat P ;
+cat E ;
+
+fun Exist : (E -> P) -> P ;
+    Even  : E -> P ;
+
+}
\ No newline at end of file
-- 
cgit v1.2.3