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

   1 Typechecked:
   2 {- nonrec -}
   3 ShouldSucceed.H.op1 = /\ a.t8 -> \{-classdict-} [] [op1.t9] -> op1.t9
   4 {- nonrec -}
   5 defm.ShouldSucceed.H.op1 =
   6     /\ a.t10 ->
   7         \{-dict-} d.ShouldSucceed.H.t11 ->
   8             (error (a.t10 -> a.t10 -> a.t10))
   9                 "No default method for \"ShouldSucceed.H.defm.ShouldSucceed.H.op1\"\n"
  10 {- rec -}
  11 dfun.ShouldSucceed.H.Bool = ({-dict-} [] [const.ShouldSucceed.H.Bool.op1])
  12 const.ShouldSucceed.H.Bool.op1 :: Bool -> Bool -> Bool
  13 const.ShouldSucceed.H.Bool.op1
  14     x.r29 y.r30
  15             = y.r30
  16 AbsBinds [] [] [(f.t1, ShouldSucceed.f)]
  17     (ShouldSucceed.H.op1.t5, const.ShouldSucceed.H.Bool.op1)
  18     {- nonrec -}
  19     f.t1 :: Bool -> Int -> Bool
  20     f.t1 x.r58 y.r59
  21                  = ShouldSucceed.H.op1.t5 x.r58 x.r58
  22