ghc/tests/typecheck/should_compile/tc061.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds [] [] [([], $d1{-rlF,x-}, d.Eq1_akY)]
   3     AbsBinds [] [] [([], deq_alG, deq_al2)]
   4         deq_al2 x_r3h y_r3i = PrelBase.True{-5E,w-}{i}
   5     d.Eq1_akY = ({-dict-} [] [deq_alG])
   6 AbsBinds [talm] [d.Eq1_alv] [([talm], $d2{-rlH,x-}, d.Eq1_alb)]
   7     d.Eq1_alz = d.Eq1_alv
   8     deq_alJ = deq{-r3x,x-} talm d.Eq1_alz
   9     AbsBinds [] [] [([], deq_alI, deq_alf)]
  10         deq_alf (a_r3q PrelBase.:{-55,w-}{i} as_r3r)
  11                 (b_r3s PrelBase.:{-55,w-}{i} bs_r3t)
  12                 = deq_alJ a_r3q b_r3s
  13     d.Eq1_alb = ({-dict-} [] [deq_alI])
  14 deq{-r3x,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
  15 AbsBinds [talE] [d.Eq1_alD] []
  16
  17 ghc: module version changed to 1; reason: no old .hi file
  18 _interface_ ShouldSucceed 1
  19 _instance_modules_
  20 ArrBase IO PrelNum
  21 _exports_
  22 ShouldSucceed Eq1(deq);
  23 _instances_
  24 instance {Eq1 PrelBase.Int} = $d1;
  25 instance _forall_ [a] {Eq1 a} => {Eq1 [a]} = $d2;
  26 _declarations_
  27 1 $d1 _:_ {Eq1 PrelBase.Int} ;;
  28 1 $d2 _:_ _forall_ [a] {Eq1 a} => {Eq1 [a]} ;;
  29 1 class Eq1 a where {deq :: a -> a -> PrelBase.Bool} ;