testsuite/compiler/renamer/funpatt.gf


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

abstract funpatt = {

-- this should raise error
-- we cannot pattern match on functions

cat D ;
fun D1 : D ;
    D2 : D ;

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

}