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 /testsuite/runtime/linearize/brackets.gfs | |
| parent | c1406bdcdf4cc325f9048d563be02f931263e002 (diff) | |
test for bracketedLinearize
Diffstat (limited to 'testsuite/runtime/linearize/brackets.gfs')
| -rw-r--r-- | testsuite/runtime/linearize/brackets.gfs | 12 |
1 files changed, 12 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> |