testsuite/compiler/update/ArrityCheck.gfs.gold


1
2
3
4
5
6
7
8


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 ;