ghc/tests/typecheck/should_compile/tc060.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 AbsBinds [] [] [([], $d1{-rlE,x-}, d.Eq2_akU)]
   6     AbsBinds [] [] [([], deq_alF, deq_akY)]
   7         deq_akY x_r3h y_r3i = PrelBase.True{-5E,w-}{i}
   8     d.Eq2_akU = ({-dict-} [] [deq_alF])
   9 AbsBinds [tali] [d.Eq2_alu] [([tali], $d2{-rlG,x-}, d.Eq2_al7)]
  10     d.Eq2_aly = d.Eq2_alu
  11     deq_alH = deq{-r3x,x-} tali d.Eq2_aly
  12     deq_alI = deq_alJ
  13     AbsBinds [] [] [([], deq_alJ, deq_alb)]
  14         deq_alb (a_r3q PrelBase.:{-55,w-}{i} as_r3r)
  15                 (b_r3s PrelBase.:{-55,w-}{i} bs_r3t)
  16                 = if deq_alH a_r3q b_r3s then
  17                       deq_alI as_r3r bs_r3t
  18                   else
  19                       PrelBase.False{-58,w-}{i}
  20     d.Eq2_al7 = ({-dict-} [] [deq_alJ])
  21 deq{-r3x,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
  22 AbsBinds [talD] [d.Eq2_alC] []
  23 ghc: module version changed to 1; reason: no old .hi file
  24 _interface_ ShouldSucceed 1
  25 _instance_modules_
  26 ArrBase IO PrelNum
  27 _exports_
  28 ShouldSucceed Eq2(deq);
  29 _instances_
  30 instance {Eq2 PrelBase.Int} = $d1;
  31 instance _forall_ [a] {Eq2 a} => {Eq2 [a]} = $d2;
  32 _declarations_
  33 1 $d1 _:_ {Eq2 PrelBase.Int} ;;
  34 1 $d2 _:_ _forall_ [a] {Eq2 a} => {Eq2 [a]} ;;
  35 1 class Eq2 a where {deq :: a -> a -> PrelBase.Bool} ;