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

   1 Typechecked:
   2 {- nonrec -}
   3 H.B.op2 = /\ a.t0 -> \{-classdict-} [d.H.C.t2] [op2.t1] -> op2.t1
   4 sdsel.H.B.H.C = /\ a.t0 -> \{-classdict-} [d.H.C.t2] [op2.t1] -> d.H.C.t2
   5 {- nonrec -}
   6 defm.H.B.op2 =
   7     /\ a.t3 ->
   8         \{-dict-} d.H.B.t4 ->
   9             (error (a.t3 -> a.t3 -> a.t3))
  10                 "No default method for \"H.B.defm.H.B.op2\"\n"
  11 {- nonrec -}
  12 H.C.op1 = /\ a.t5 -> \{-classdict-} [] [op1.t6] -> op1.t6
  13 {- nonrec -}
  14 defm.H.C.op1 =
  15     /\ a.t7 ->
  16         \{-dict-} d.H.C.t8 ->
  17             (error (a.t7 -> a.t7))
  18                 "No default method for \"H.C.defm.H.C.op1\"\n"
  19