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

   1 Typechecked:
   2 {- nonrec -}
   3 ShouldSucceed.Eq'.deq = /\ a.t29 -> \{-classdict-} [] [deq.t30] -> deq.t30
   4 {- nonrec -}
   5 defm.ShouldSucceed.Eq'.deq =
   6     /\ a.t31 ->
   7         \{-dict-} d.ShouldSucceed.Eq'.t32 ->
   8             (error (a.t31 -> a.t31 -> Bool))
   9                 "No default method for \"ShouldSucceed.Eq'.defm.ShouldSucceed.Eq'.deq\"\n"
  10 {- rec -}
  11 dfun.ShouldSucceed.Eq'.Int = ({-dict-} [] [const.ShouldSucceed.Eq'.Int.deq])
  12 const.ShouldSucceed.Eq'.Int.deq :: Int -> Int -> Bool
  13 const.ShouldSucceed.Eq'.Int.deq
  14     x.r29 y.r30
  15             = True
  16 AbsBinds
  17 [a.t13]
  18 [d.ShouldSucceed.Eq'.t14]
  19 [(d.ShouldSucceed.Eq'.t15, dfun.ShouldSucceed.Eq'.List)]
  20     (d.ShouldSucceed.Eq'.t27, d.ShouldSucceed.Eq'.t15)
  21     (ShouldSucceed.Eq'.deq.t26,
  22         ShouldSucceed.Eq'.deq [a.t13] d.ShouldSucceed.Eq'.t27)
  23     (d.ShouldSucceed.Eq'.t28, d.ShouldSucceed.Eq'.t14)
  24     (ShouldSucceed.Eq'.deq.t24,
  25         ShouldSucceed.Eq'.deq a.t13 d.ShouldSucceed.Eq'.t28)
  26     {- rec -}
  27     d.ShouldSucceed.Eq'.t15 = ({-dict-} [] [deq.t16])
  28     deq.t16 :: [a.t13] -> [a.t13] -> Bool
  29     deq.t16
  30         (a.r32 : as.r33) (b.r34 : bs.r35)
  31                 = if ShouldSucceed.Eq'.deq.t24 a.r32 b.r34 then
  32                       ShouldSucceed.Eq'.deq.t26 as.r33 bs.r35
  33                   else
  34                       False
  35 AbsBinds [tt5] [d.Num.t8, d.ShouldSucceed.Eq'.t10] [(f.t1, ShouldSucceed.f)]
  36     (fromInt.t7, fromInt tt5 d.Num.t8)
  37     (lit.t6, fromInt.t7 (MkInt 1#))
  38     (d.ShouldSucceed.Eq'.t9,
  39         dfun.ShouldSucceed.Eq'.List tt5 d.ShouldSucceed.Eq'.t10)
  40     (ShouldSucceed.Eq'.deq.t4,
  41         ShouldSucceed.Eq'.deq [tt5] d.ShouldSucceed.Eq'.t9)
  42     {- nonrec -}
  43     f.t1 :: [tt5] -> Bool
  44     f.t1 x.r63 = ShouldSucceed.Eq'.deq.t4 x.r63 ([lit.t6] (tt5))
  45