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

   1 Typechecked:
   2 {- nonrec -}
   3 ShouldSucceed.Reps.f = /\ r.t13 -> \{-classdict-} [] [f.t14] -> f.t14
   4 {- nonrec -}
   5 defm.ShouldSucceed.Reps.f =
   6     /\ r.t15 ->
   7         \{-dict-} d.ShouldSucceed.Reps.t16 ->
   8             (error (r.t15 -> r.t15 -> r.t15))
   9                 "No default method for \"ShouldSucceed.Reps.defm.ShouldSucceed.Reps.f\"\n"
  10 {- rec -}
  11 dfun.ShouldSucceed.Reps.Bool = ({-dict-} [] [const.ShouldSucceed.Reps.Bool.f])
  12 const.ShouldSucceed.Reps.Bool.f :: Bool -> Bool -> Bool
  13 const.ShouldSucceed.Reps.Bool.f
  14     True True
  15             = True
  16 const.ShouldSucceed.Reps.Bool.f
  17     x.r50 y.r51
  18             = False
  19 AbsBinds
  20 [q.t8]
  21 []
  22 [(d.ShouldSucceed.Reps.t9, dfun.ShouldSucceed.Reps.ShouldSucceed.X)]
  23     {- rec -}
  24     d.ShouldSucceed.Reps.t9 = ({-dict-} [] [f.t10])
  25     f.t10 ::
  26         ShouldSucceed.X q.t8 -> ShouldSucceed.X q.t8 -> ShouldSucceed.X q.t8
  27     f.t10
  28         x.r53 y.r54
  29                 = y.r54
  30 AbsBinds [r.t3] [d.ShouldSucceed.Reps.t5] [(g.t1, ShouldSucceed.g)]
  31     (ShouldSucceed.Reps.f.t4, ShouldSucceed.Reps.f r.t3 d.ShouldSucceed.Reps.t5)
  32     {- nonrec -}
  33     g.t1 :: r.t3 -> r.t3
  34     g.t1 x.r64 = ShouldSucceed.Reps.f.t4 x.r64 x.r64
  35