mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-10 21:39:32 -06:00
14 lines
211 B
Plaintext
14 lines
211 B
Plaintext
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 ;
|
|
|
|
} |