diff options
Diffstat (limited to 'testsuite')
| -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
|