ghc/tests/typecheck/should_compile/tc061.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 AbsBinds [] [] [([], $d1{-rlB,x-}, d.Eq1_akU)]
   6     AbsBinds [] [] [([], deq_alC, deq_akY)]
   7         deq_akY x_r3h y_r3i = PrelBase.True{-5E,w-}{i}
   8     d.Eq1_akU = ({-dict-} [] [deq_alC])
   9 AbsBinds [tali] [d.Eq1_alr] [([tali], $d2{-rlD,x-}, d.Eq1_al7)]
  10     d.Eq1_alv = d.Eq1_alr
  11     deq_alE = deq{-r3x,x-} tali d.Eq1_alv
  12     AbsBinds [] [] [([], deq_alF, deq_alb)]
  13         deq_alb (a_r3q PrelBase.:{-55,w-}{i} as_r3r)
  14                 (b_r3s PrelBase.:{-55,w-}{i} bs_r3t)
  15                 = deq_alE a_r3q b_r3s
  16     d.Eq1_al7 = ({-dict-} [] [deq_alF])
  17 deq{-r3x,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
  18 AbsBinds [talA] [d.Eq1_alz] []
  19 ghc: module version changed to 1; reason: no old .hi file
  20 _interface_ ShouldSucceed 1
  21 _instance_modules_
  22 ArrBase IO PrelNum
  23 _exports_
  24 ShouldSucceed Eq1(deq);
  25 _instances_
  26 instance {Eq1 PrelBase.Int} = $d1;
  27 instance _forall_ [a] {Eq1 a} => {Eq1 [a]} = $d2;
  28 _declarations_
  29 1 $d1 _:_ {Eq1 PrelBase.Int} ;;
  30 1 $d2 _:_ _forall_ [a] {Eq1 a} => {Eq1 [a]} ;;
  31 1 class Eq1 a where {deq :: a -> a -> PrelBase.Bool} ;