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

   1 Typechecked:
   2 {- nonrec -}
   3 ShouldSucceed.Eq2.deq =
   4     /\ a.t38 -> \{-classdict-} [] [deq.t39 foo.t40] -> deq.t39
   5 ShouldSucceed.Eq2.foo =
   6     /\ a.t38 -> \{-classdict-} [] [deq.t39 foo.t40] -> foo.t40
   7 {- nonrec -}
   8 defm.ShouldSucceed.Eq2.deq =
   9     /\ a.t41 ->
  10         \{-dict-} d.ShouldSucceed.Eq2.t42 ->
  11             (error (a.t41 -> a.t41 -> Bool))
  12                 "No default method for \"ShouldSucceed.Eq2.defm.ShouldSucceed.Eq2.deq\"\n"
  13 defm.ShouldSucceed.Eq2.foo =
  14     /\ a.t43 ->
  15         \{-dict-} d.ShouldSucceed.Eq2.t44 ->
  16             (error (a.t43 -> a.t43))
  17                 "No default method for \"ShouldSucceed.Eq2.defm.ShouldSucceed.Eq2.foo\"\n"
  18 {- rec -}
  19 dfun.ShouldSucceed.Eq2.Int =
  20     ({-dict-}
  21     []
  22     [const.ShouldSucceed.Eq2.Int.deq, const.ShouldSucceed.Eq2.Int.foo])
  23 const.ShouldSucceed.Eq2.Int.deq :: Int -> Int -> Bool
  24 const.ShouldSucceed.Eq2.Int.deq
  25     x.r29 y.r30
  26             = True
  27 const.ShouldSucceed.Eq2.Int.foo :: Int -> Int
  28 const.ShouldSucceed.Eq2.Int.foo
  29     x.r31 = x.r31
  30 AbsBinds
  31 [a.t14]
  32 [d.ShouldSucceed.Eq2.t15]
  33 [(d.ShouldSucceed.Eq2.t16, dfun.ShouldSucceed.Eq2.List)]
  34     (d.ShouldSucceed.Eq2.t34, d.ShouldSucceed.Eq2.t16)
  35     (ShouldSucceed.Eq2.foo.t32,
  36         ShouldSucceed.Eq2.foo [a.t14] d.ShouldSucceed.Eq2.t34)
  37     (d.ShouldSucceed.Eq2.t35, d.ShouldSucceed.Eq2.t34)
  38     (ShouldSucceed.Eq2.deq.t30,
  39         ShouldSucceed.Eq2.deq [a.t14] d.ShouldSucceed.Eq2.t35)
  40     (d.ShouldSucceed.Eq2.t36, d.ShouldSucceed.Eq2.t15)
  41     (ShouldSucceed.Eq2.foo.t28,
  42         ShouldSucceed.Eq2.foo a.t14 d.ShouldSucceed.Eq2.t36)
  43     (d.ShouldSucceed.Eq2.t37, d.ShouldSucceed.Eq2.t36)
  44     (ShouldSucceed.Eq2.deq.t26,
  45         ShouldSucceed.Eq2.deq a.t14 d.ShouldSucceed.Eq2.t37)
  46     {- rec -}
  47     d.ShouldSucceed.Eq2.t16 = ({-dict-} [] [deq.t17, foo.t18])
  48     deq.t17 :: [a.t14] -> [a.t14] -> Bool
  49     deq.t17
  50         (a.r33 : as.r34) (b.r35 : bs.r36)
  51                 = if ShouldSucceed.Eq2.deq.t26
  52                          a.r33 (ShouldSucceed.Eq2.foo.t28 b.r35) then
  53                       ShouldSucceed.Eq2.deq.t30
  54                           as.r34 (ShouldSucceed.Eq2.foo.t32 bs.r36)
  55                   else
  56                       False
  57     foo.t18 :: [a.t14] -> [a.t14]
  58     foo.t18
  59         x.r37 = x.r37
  60 AbsBinds [tt5] [d.Num.t8, d.ShouldSucceed.Eq2.t10] [(f.t1, ShouldSucceed.f)]
  61     (fromInt.t7, fromInt tt5 d.Num.t8)
  62     (lit.t6, fromInt.t7 (MkInt 1#))
  63     (d.ShouldSucceed.Eq2.t9,
  64         dfun.ShouldSucceed.Eq2.List tt5 d.ShouldSucceed.Eq2.t10)
  65     (ShouldSucceed.Eq2.deq.t4,
  66         ShouldSucceed.Eq2.deq [tt5] d.ShouldSucceed.Eq2.t9)
  67     {- nonrec -}
  68     f.t1 :: [tt5] -> Bool
  69     f.t1 x.r65 = ShouldSucceed.Eq2.deq.t4 x.r65 ([lit.t6] (tt5))
  70