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

   1 Typechecked:
   2 {- nonrec -}
   3 ShouldSucceed.Eq'.deq = /\ a.t21 -> \{-classdict-} [] [deq.t22] -> deq.t22
   4 {- nonrec -}
   5 defm.ShouldSucceed.Eq'.deq =
   6     /\ a.t23 ->
   7         \{-dict-} d.ShouldSucceed.Eq'.t24 ->
   8             (error (a.t23 -> a.t23 -> Bool))
   9                 "No default method for \"ShouldSucceed.Eq'.defm.ShouldSucceed.Eq'.deq\"\n"
  10 AbsBinds
  11 [a.t0]
  12 [d.ShouldSucceed.Eq'.t1]
  13 [(d.ShouldSucceed.Eq'.t2, dfun.ShouldSucceed.Eq'.List)]
  14     (d.ShouldSucceed.Eq'.t19, d.ShouldSucceed.Eq'.t2)
  15     (ShouldSucceed.Eq'.deq.t16,
  16         ShouldSucceed.Eq'.deq [a.t0] d.ShouldSucceed.Eq'.t19)
  17     (d.ShouldSucceed.Eq'.t20, d.ShouldSucceed.Eq'.t1)
  18     (ShouldSucceed.Eq'.deq.t13,
  19         ShouldSucceed.Eq'.deq a.t0 d.ShouldSucceed.Eq'.t20)
  20     {- rec -}
  21     d.ShouldSucceed.Eq'.t2 = ({-dict-} [] [deq.t3])
  22     deq.t3 :: [a.t0] -> [a.t0] -> Bool
  23     deq.t3
  24         [] [] = True
  25     deq.t3
  26         (x.r29 : xs.r30) (y.r31 : ys.r32)
  27                 = if x.r29 `ShouldSucceed.Eq'.deq.t13` y.r31 then
  28                       ShouldSucceed.Eq'.deq.t16 xs.r30 ys.r32
  29                   else
  30                       False
  31     deq.t3
  32         other1.r33 other2.r34
  33                 = False
  34