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

   1 Typechecked:
   2 {- nonrec -}
   3 ShouldSucceed.Eq1.deq = /\ a.t15 -> \{-classdict-} [] [deq.t16] -> deq.t16
   4 {- nonrec -}
   5 defm.ShouldSucceed.Eq1.deq =
   6     /\ a.t17 ->
   7         \{-dict-} d.ShouldSucceed.Eq1.t18 ->
   8             (error (a.t17 -> a.t17 -> Bool))
   9                 "No default method for \"ShouldSucceed.Eq1.defm.ShouldSucceed.Eq1.deq\"\n"
  10 {- rec -}
  11 dfun.ShouldSucceed.Eq1.Int = ({-dict-} [] [const.ShouldSucceed.Eq1.Int.deq])
  12 const.ShouldSucceed.Eq1.Int.deq :: Int -> Int -> Bool
  13 const.ShouldSucceed.Eq1.Int.deq
  14     x.r28 y.r29
  15             = True
  16 AbsBinds
  17 [a.t2]
  18 [d.ShouldSucceed.Eq1.t3]
  19 [(d.ShouldSucceed.Eq1.t4, dfun.ShouldSucceed.Eq1.List)]
  20     (d.ShouldSucceed.Eq1.t14, d.ShouldSucceed.Eq1.t3)
  21     (ShouldSucceed.Eq1.deq.t13,
  22         ShouldSucceed.Eq1.deq a.t2 d.ShouldSucceed.Eq1.t14)
  23     {- rec -}
  24     d.ShouldSucceed.Eq1.t4 = ({-dict-} [] [deq.t5])
  25     deq.t5 :: [a.t2] -> [a.t2] -> Bool
  26     deq.t5
  27         (a.r31 : as.r32) (b.r33 : bs.r34)
  28                 = ShouldSucceed.Eq1.deq.t13 a.r31 b.r33
  29