testsuite/runtime/linearize/Test.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

abstract Test = {

cat S ;
cat E ;

fun Exist : (E -> S) -> S ;
    Even  : E -> S ;

fun a : E ;
    f,fa,fb : E -> S ;

fun IsString  : String -> S ;
    IsInteger : Int    -> S ;
    IsFloat   : Float  -> S ;

}