GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -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 7f60804d5a
commit c520039f1c
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
cat D ;
fun D1 : D ;
D2 : D ;
fun D1 : Int -> D ;
D2 : Int -> D ;
fun d : D -> Int ;
def d D1 = 1 ;
d D2 = 2 ;
def d (D1 _) = 1 ;
d (D2 _) = 2 ;
}