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 : Int -> D ;
    D2 : Int -> D ;

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

}