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

Update test to match new error

Browse Source
This commit is contained in:
Andreas Källberg
2023-09-25 12:01:56 +02:00
parent 268a25f59c
commit ea3cef46b0
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
testsuite/compiler/update/ArrityCheck.gfs.gold
View File

@@ -4,5 +4,6 @@ testsuite/compiler/update/ArrityCheck.gf:6:1:
conflicting information in module ArrityCheck
fun f : Int -> Int -> Int ;
def f 0 = \x -> x ;
and
and
def f 1 1 = 0 ;