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

   1 Typechecked:
   2 {- nonrec -}
   3 ShouldSucceed.A.op1 = /\ a.t26 -> \{-classdict-} [] [op1.t27] -> op1.t27
   4 {- nonrec -}
   5 defm.ShouldSucceed.A.op1 =
   6     /\ a.t28 ->
   7         \{-dict-} d.ShouldSucceed.A.t29 ->
   8             (error a.t28)
   9                 "No default method for \"ShouldSucceed.A.defm.ShouldSucceed.A.op1\"\n"
  10 {- nonrec -}
  11 ShouldSucceed.B.op2 = /\ b.t30 -> \{-classdict-} [] [op2.t31] -> op2.t31
  12 {- nonrec -}
  13 defm.ShouldSucceed.B.op2 =
  14     /\ b.t32 ->
  15         \{-dict-} d.ShouldSucceed.B.t33 ->
  16             (error (b.t32 -> Int))
  17                 "No default method for \"ShouldSucceed.B.defm.ShouldSucceed.B.op2\"\n"
  18 {- rec -}
  19 dfun.ShouldSucceed.A.Int = ({-dict-} [] [const.ShouldSucceed.A.Int.op1])
  20 const.ShouldSucceed.A.Int.op1 :: Int
  21 const.ShouldSucceed.A.Int.op1 = lit.t7
  22 AbsBinds
  23 [a.t8]
  24 [d.ShouldSucceed.B.t9]
  25 [(d.ShouldSucceed.B.t10, dfun.ShouldSucceed.B.List)]
  26     (d.ShouldSucceed.B.t25, d.ShouldSucceed.B.t10)
  27     (ShouldSucceed.B.op2.t23, ShouldSucceed.B.op2 [a.t8] d.ShouldSucceed.B.t25)
  28     (+.t19, plusInt)
  29     {- rec -}
  30     d.ShouldSucceed.B.t10 = ({-dict-} [] [op2.t11])
  31     op2.t11 :: [a.t8] -> Int
  32     op2.t11
  33         [] = lit.t14
  34     op2.t11
  35         (x.r14 : xs.r15)
  36                 = lit.t21 +.t19 (ShouldSucceed.B.op2.t23 xs.r15)
  37 lit.t7 = MkInt 2#
  38 lit.t14 = MkInt 0#
  39 lit.t21 = MkInt 1#
  40 AbsBinds [ot2, a.t3] [d.ShouldSucceed.A.t5] [(f.t1, ShouldSucceed.f)]
  41     (ShouldSucceed.A.op1.t4, ShouldSucceed.A.op1 a.t3 d.ShouldSucceed.A.t5)
  42     {- nonrec -}
  43     f.t1 :: ot2 -> a.t3
  44     f.t1 x.r61 = ShouldSucceed.A.op1.t4