diff options
| author | krasimir <krasimir@chalmers.se> | 2010-05-01 20:54:31 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-05-01 20:54:31 +0000 |
| commit | 029fbec8f361d0978fd595707c393fb51d289ecb (patch) | |
| tree | 8a39bff1be283820691017329a514c339f52d5b6 | |
| parent | c1406bdcdf4cc325f9048d563be02f931263e002 (diff) | |
test for bracketedLinearize
| -rw-r--r-- | testsuite/runtime/linearize/brackets.gfs | 12 | ||||
| -rw-r--r-- | testsuite/runtime/linearize/brackets.gfs.gold | 28 |
2 files changed, 40 insertions, 0 deletions
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
|