fc3bcfaa77136fe34ecaf056436cc54638ed288b
[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc062.stderr
1 ghc: module version changed to 1; reason: no old .hi file
2 _interface_ ShouldSucceed 1
3 _instance_modules_
4 IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
5 _exports_
6 ShouldSucceed f Eq1(:Eq1 :Eq1 deq);
7 _instances_
8 instance _forall_ [a] {Eq1 a} => {Eq1 [a]} = $d1;
9 instance {Eq1 PrelBase.Int} = $d2;
10 _declarations_
11 1 $d1 _:_ _forall_ [a] {Eq1 a} => {Eq1 [a]} ;;
12 1 $d2 _:_ {Eq1 PrelBase.Int} ;;
13 1 class Eq1 a where {deq :: a -> a -> PrelBase.Bool} ;
14 1 f _:_ _forall_ [a] {Eq1 [a]} => [a] -> [a] -> PrelBase.Bool ;;