ghc/tests/typecheck/should_compile/tc037.stderr

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