testsuite/runtime/linearize/linearize.gfs


1
2
3
4
5
6
7
8
9
10
11
12

i -src testsuite/runtime/linearize/TestCnc.gf

l Even ?
l Exist (\x -> <Even : E -> S> x)
l f  a
l fa a
l fb a
l IsString "abcd"
l IsInteger 100
l IsFloat   12.4
l <IsString "xyz" : S>
l <\x -> x : S -> S>