summaryrefslogtreecommitdiff
path: root/testsuite/compiler/update/ArrityCheck.gfs.gold
blob: bfe3808ab7b61144c35392bc335518267bb9d40a (plain)
1
2
3
4
5
6
7
8
9


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 ;