GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 03:32:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

testsuite: reduced the number of failing tests from 25 to 13

Browse Source 
Some tests may fail on Windows because of \ instead of / in paths.
This commit is contained in:
hallgren
2013-12-06 16:01:13 +00:00
parent 41827b1aab
commit 4280c885dd
14 changed files with 73 additions and 72 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1,8 +1,8 @@
C:\gf\testsuite\compiler\update\ArrityCheck.gf:6:1: cannot unify the informations
fun f : Int -> Int -> Int ;
def f 0 = \x -> x ;
and
def f 1 1 = 0 ;
in module ArrityCheck
testsuite/compiler/update/ArrityCheck.gf:6:1:
conflicting information in module ArrityCheck
fun f : Int -> Int -> Int ;
def f 0 = \x -> x ;
and
def f 1 1 = 0 ;