f8d91ca3b38874918d6aa9732519a3ea84be7723
[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc059.stderr
1 ghc: module version changed to 1; reason: no old .hi file
2 __export ShouldSucceed Eq2{foo deq} f;
3 instance {Eq2 PrelBase.Int} = zdfEq2Int;
4 instance __forall [a] {Eq2 a} => {Eq2 [a]} = zdfEq2ZMZN;
5 1 class Eq2 a where {foo :: a -> a; deq :: a -> a -> PrelBase.Bool} ;
6 1 f :: __forall [t] {PrelBase.Num t, Eq2 [t]} => [t] -> PrelBase.Bool ;
7 1 zdfEq2Int :: {Eq2 PrelBase.Int} ;
8 1 zdfEq2ZMZN :: __forall [a] {Eq2 a} => {Eq2 [a]} ;