From 029fbec8f361d0978fd595707c393fb51d289ecb Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Sat, 1 May 2010 20:54:31 +0000
Subject: [PATCH] test for bracketedLinearize

---
 testsuite/runtime/linearize/brackets.gfs      | 12 ++++++++
 testsuite/runtime/linearize/brackets.gfs.gold | 28 +++++++++++++++++++
 2 files changed, 40 insertions(+)
 create mode 100644 testsuite/runtime/linearize/brackets.gfs
 create mode 100644 testsuite/runtime/linearize/brackets.gfs.gold

diff --git a/testsuite/runtime/linearize/brackets.gfs b/testsuite/runtime/linearize/brackets.gfs
new file mode 100644
index 000000000..ea2bec130
--- /dev/null
+++ b/testsuite/runtime/linearize/brackets.gfs
@@ -0,0 +1,12 @@
+i -src testsuite/runtime/linearize/TestCnc.gf
+
+l -bracket Even ?
+l -bracket Exist (\x -> <Even : E -> S> x)
+l -bracket f  a
+l -bracket fa a
+l -bracket fb a
+l -bracket IsString "abcd"
+l -bracket IsInteger 100
+l -bracket IsFloat   12.4
+l -bracket <IsString "xyz" : S>
+l -bracket <\x -> x : S -> S>
diff --git a/testsuite/runtime/linearize/brackets.gfs.gold b/testsuite/runtime/linearize/brackets.gfs.gold
new file mode 100644
index 000000000..c853656fd
--- /dev/null
+++ b/testsuite/runtime/linearize/brackets.gfs.gold
@@ -0,0 +1,28 @@
+(S (E (String ?1)) is even)
+
+
+(S exists (S (String x)) such that (S (S (E (String x)) is even)))
+
+
+(S (E a))
+
+
+(S (E aa) a)
+
+
+(S (E a) b)
+
+
+(S (String abcd) is string)
+
+
+(S (Int 100) is integer)
+
+
+(S (Float 12.4) is float)
+
+
+(S (String xyz) is string)
+
+
+cannot linearize