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

   1 Typechecked:
   2 {- nonrec -}
   3 ShouldSucceed.A.op1 = /\ a.t0 -> \{-classdict-} [d.Eq.t2] [op1.t1] -> op1.t1
   4 sdsel.ShouldSucceed.A.Eq =
   5     /\ a.t0 -> \{-classdict-} [d.Eq.t2] [op1.t1] -> d.Eq.t2
   6 {- nonrec -}
   7 defm.ShouldSucceed.A.op1 =
   8     /\ a.t3 ->
   9         \{-dict-} d.ShouldSucceed.A.t4 ->
  10             (error (a.t3 -> a.t3))
  11                 "No default method for \"ShouldSucceed.A.defm.ShouldSucceed.A.op1\"\n"
  12