ghc/tests/typecheck/should_compile/tc037.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 AbsBinds [takZ] [d.Eq'_alo] [([takZ], $d1{-rlx,x-}, d.Eq'_akS)]
   6     d.Eq'_alr = d.Eq'_alo
   7     deq_aly = deq{-r3u,x-} takZ d.Eq'_alr
   8     deq_alz = deq_alA
   9     AbsBinds [] [] [([], deq_alA, deq_akW)]
  10         deq_akW PrelBase.[]{-5i,w-}{i} PrelBase.[]{-5i,w-}{i}
  11                 = PrelBase.True{-5E,w-}{i}
  12         deq_akW (x_r3k PrelBase.:{-55,w-}{i} xs_r3l)
  13                 (y_r3m PrelBase.:{-55,w-}{i} ys_r3n)
  14                 = if x_r3k deq_aly y_r3m then
  15                       deq_alz xs_r3l ys_r3n
  16                   else
  17                       PrelBase.False{-58,w-}{i}
  18         deq_akW other1_r3p other2_r3q = PrelBase.False{-58,w-}{i}
  19     d.Eq'_akS = ({-dict-} [] [deq_alA])
  20 deq{-r3u,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
  21 AbsBinds [talw] [d.Eq'_alv] []
  22 ghc: module version changed to 1; reason: no old .hi file
  23 _interface_ ShouldSucceed 1
  24 _instance_modules_
  25 ArrBase IO PrelNum
  26 _exports_
  27 ShouldSucceed Eq'(deq);
  28 _instances_
  29 instance _forall_ [a] {Eq' a} => {Eq' [a]} = $d1;
  30 _declarations_
  31 1 $d1 _:_ _forall_ [a] {Eq' a} => {Eq' [a]} ;;
  32 1 class Eq' a where {deq :: a -> a -> PrelBase.Bool} ;