testsuite/runtime/paraphrase/lambda.gf


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

abstract lambda = {

fun f1 : Int -> Int ;
def f1 = (\x -> x) ;

fun f2 : Int ;
def f2 = f1 1 ;

cat D ;
data D1 : D ;
     D2 : D ;

fun d : D -> Int -> Int ;
def d D1 = \x -> x ;
    d D2 = \x -> 2 ;

}