gf-3.2: testsuite/compiler/update/ArrityCheck.gfs.gold
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
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