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

   1 Typechecked:
   2 {- nonrec -}
   3 ShouldSucceed.Eq1.deq = /\ a.t28 -> \{-classdict-} [] [deq.t29] -> deq.t29
   4 {- nonrec -}
   5 defm.ShouldSucceed.Eq1.deq =
   6     /\ a.t30 ->
   7         \{-dict-} d.ShouldSucceed.Eq1.t31 ->
   8             (error (a.t30 -> a.t30 -> 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.r29 y.r30
  15             = True
  16 AbsBinds
  17 [a.t12]
  18 [d.ShouldSucceed.Eq1.t13]
  19 [(d.ShouldSucceed.Eq1.t14, dfun.ShouldSucceed.Eq1.List)]
  20     (d.ShouldSucceed.Eq1.t26, d.ShouldSucceed.Eq1.t14)
  21     (ShouldSucceed.Eq1.deq.t25,
  22         ShouldSucceed.Eq1.deq [a.t12] d.ShouldSucceed.Eq1.t26)
  23     (d.ShouldSucceed.Eq1.t27, d.ShouldSucceed.Eq1.t13)
  24     (ShouldSucceed.Eq1.deq.t23,
  25         ShouldSucceed.Eq1.deq a.t12 d.ShouldSucceed.Eq1.t27)
  26     {- rec -}
  27     d.ShouldSucceed.Eq1.t14 = ({-dict-} [] [deq.t15])
  28     deq.t15 :: [a.t12] -> [a.t12] -> Bool
  29     deq.t15
  30         (a.r32 : as.r33) (b.r34 : bs.r35)
  31                 = if ShouldSucceed.Eq1.deq.t23 a.r32 b.r34 then
  32                       ShouldSucceed.Eq1.deq.t25 as.r33 bs.r35
  33                   else
  34                       False
  35 AbsBinds [tt5] [d.ShouldSucceed.Eq1.t9] [(f.t1, ShouldSucceed.f)]
  36     (d.ShouldSucceed.Eq1.t8,
  37         dfun.ShouldSucceed.Eq1.List tt5 d.ShouldSucceed.Eq1.t9)
  38     (ShouldSucceed.Eq1.deq.t7,
  39         ShouldSucceed.Eq1.deq [tt5] d.ShouldSucceed.Eq1.t8)
  40     {- nonrec -}
  41     f.t1 :: [tt5] -> [tt5] -> Bool
  42     f.t1 x.r63 (y.r64 : ys.r65)
  43                  = ShouldSucceed.Eq1.deq.t7 x.r63 ys.r65
  44