GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-22 17:42:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

fix the funpatt testcase

Browse Source
This commit is contained in:
krasimir
2009-05-22 21:42:21 +00:00
parent 3763b98e89
commit d2f2922102
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
testsuite/compiler/renamer/funpatt.gf
View File

@@ -4,11 +4,11 @@ abstract funpatt = {
-- we cannot pattern match on functions -- we cannot pattern match on functions
cat D ; cat D ;
fun D1 : D ; fun D1 : Int -> D ;
D2 : D ; D2 : Int -> D ;
fun d : D -> Int ; fun d : D -> Int ;
def d D1 = 1 ; def d (D1 _) = 1 ;
d D2 = 2 ; d (D2 _) = 2 ;
} }