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

   1 Typechecked:
   2 {- nonrec -}
   3 ShouldSucceed.Eq'.deq = /\ a.t38 -> \{-classdict-} [] [deq.t39] -> deq.t39
   4 {- nonrec -}
   5 defm.ShouldSucceed.Eq'.deq =
   6     /\ a.t40 ->
   7         \{-dict-} d.ShouldSucceed.Eq'.t41 ->
   8             (error (a.t40 -> a.t40 -> 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.r30 y.r31
  15             = True
  16 AbsBinds
  17 [a.t22]
  18 [d.ShouldSucceed.Eq'.t23]
  19 [(d.ShouldSucceed.Eq'.t24, dfun.ShouldSucceed.Eq'.List)]
  20     (d.ShouldSucceed.Eq'.t36, d.ShouldSucceed.Eq'.t24)
  21     (ShouldSucceed.f.t35, ShouldSucceed.f [a.t22] d.ShouldSucceed.Eq'.t36)
  22     (d.ShouldSucceed.Eq'.t37, d.ShouldSucceed.Eq'.t23)
  23     (ShouldSucceed.f.t33, ShouldSucceed.f a.t22 d.ShouldSucceed.Eq'.t37)
  24     {- rec -}
  25     d.ShouldSucceed.Eq'.t24 = ({-dict-} [] [deq.t25])
  26     deq.t25 :: [a.t22] -> [a.t22] -> Bool
  27     deq.t25
  28         (a.r33 : as.r34) (b.r35 : bs.r36)
  29                 = ShouldSucceed.dand
  30                       (ShouldSucceed.f.t33 a.r33 b.r35)
  31                       (ShouldSucceed.f.t35 as.r34 bs.r36)
  32 lit.t17 = MkInt 2#
  33 lit.t15 = MkInt 1#
  34 d.ShouldSucceed.Eq'.t43 = dfun.ShouldSucceed.Eq'.Int
  35 d.ShouldSucceed.Eq'.t42 =
  36     dfun.ShouldSucceed.Eq'.List Int d.ShouldSucceed.Eq'.t43
  37 ShouldSucceed.Eq'.deq.t13 = ShouldSucceed.Eq'.deq [Int] d.ShouldSucceed.Eq'.t42
  38 AbsBinds [] [] [(dand.t1, ShouldSucceed.dand)]
  39     {- nonrec -}
  40     dand.t1 :: Bool -> Bool -> Bool
  41     dand.t1
  42         True True
  43                 = True
  44     dand.t1
  45         x.r65 y.r66
  46                 = False
  47 AbsBinds [a.t10] [d.ShouldSucceed.Eq'.t7] [(f.t5, ShouldSucceed.f)]
  48     (d.ShouldSucceed.Eq'.t19, d.ShouldSucceed.Eq'.t7)
  49     (ShouldSucceed.Eq'.deq.t11,
  50         ShouldSucceed.Eq'.deq a.t10 d.ShouldSucceed.Eq'.t19)
  51     {- nonrec -}
  52     f.t5 :: a.t10 -> a.t10 -> Bool
  53     f.t5 p.r67 q.r68
  54                  = ShouldSucceed.dand
  55                        (ShouldSucceed.Eq'.deq.t11 p.r67 q.r68)
  56                        (ShouldSucceed.Eq'.deq.t13
  57                             ([lit.t15] (Int)) ([lit.t17] (Int)))
  58