ghc/compiler/tests/typecheck/should_succeed/tc045.stderr

   1 Typechecked:
   2 {- nonrec -}
   3 H.B.op2 = /\ a.t11 -> \{-classdict-} [d.H.C.t13] [op2.t12] -> op2.t12
   4 sdsel.H.B.H.C = /\ a.t11 -> \{-classdict-} [d.H.C.t13] [op2.t12] -> d.H.C.t13
   5 {- nonrec -}
   6 defm.H.B.op2 =
   7     /\ a.t14 ->
   8         \{-dict-} d.H.B.t15 ->
   9             (error (a.t14 -> a.t14 -> a.t14))
  10                 "No default method for \"H.B.defm.H.B.op2\"\n"
  11 {- nonrec -}
  12 H.C.op1 = /\ a.t16 -> \{-classdict-} [] [op1.t17] -> op1.t17
  13 {- nonrec -}
  14 defm.H.C.op1 =
  15     /\ a.t18 ->
  16         \{-dict-} d.H.C.t19 ->
  17             (error (a.t18 -> a.t18))
  18                 "No default method for \"H.C.defm.H.C.op1\"\n"
  19 AbsBinds [a.t0] [d.H.B.t2, d.H.C.t1] [(d.H.B.t3, dfun.H.B.List)]
  20     {- rec -}
  21     d.H.B.t3 = ({-dict-} [d.H.C.t1] [op2.t4])
  22     op2.t4 :: [a.t0] -> [a.t0] -> [a.t0]
  23     op2.t4
  24         xs.r13 ys.r14
  25                 = xs.r13
  26 AbsBinds [a.t7] [] [(d.H.C.t8, dfun.H.C.List)]
  27     {- rec -}
  28     d.H.C.t8 = ({-dict-} [] [op1.t9])
  29     op1.t9 :: [a.t7] -> [a.t7]
  30     op1.t9
  31         xs.r16 = xs.r16
  32