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

(limited to 'testsuite/runtime/linearize/linearize.gfs')

diff --git a/testsuite/runtime/linearize/linearize.gfs b/testsuite/runtime/linearize/linearize.gfs
new file mode 100644
index 000000000..72af2c126
--- /dev/null
+++ b/testsuite/runtime/linearize/linearize.gfs
@@ -0,0 +1,3 @@
+i testsuite/runtime/linearize/TestCnc.gf
+
+l Exist (\x -> Even x)
-- 
cgit v1.2.3