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

   1 Typechecked:
   2 {- nonrec -}
   3 ShouldSucceed.Eq'.doubleeq =
   4     /\ a.t16 -> \{-classdict-} [] [doubleeq.t17] -> doubleeq.t17
   5 {- nonrec -}
   6 defm.ShouldSucceed.Eq'.doubleeq =
   7     /\ a.t18 ->
   8         \{-dict-} d.ShouldSucceed.Eq'.t19 ->
   9             (error (a.t18 -> a.t18 -> Bool))
  10                 "No default method for \"ShouldSucceed.Eq'.defm.ShouldSucceed.Eq'.doubleeq\"\n"
  11 {- nonrec -}
  12 ShouldSucceed.Ord'.lt =
  13     /\ a.t20 -> \{-classdict-} [d.ShouldSucceed.Eq'.t22] [lt.t21] -> lt.t21
  14 sdsel.ShouldSucceed.Ord'.ShouldSucceed.Eq' =
  15     /\ a.t20 ->
  16         \{-classdict-} [d.ShouldSucceed.Eq'.t22] [lt.t21] ->
  17             d.ShouldSucceed.Eq'.t22
  18 {- nonrec -}
  19 defm.ShouldSucceed.Ord'.lt =
  20     /\ a.t23 ->
  21         \{-dict-} d.ShouldSucceed.Ord'.t24 ->
  22             (error (a.t23 -> a.t23 -> Bool))
  23                 "No default method for \"ShouldSucceed.Ord'.defm.ShouldSucceed.Ord'.lt\"\n"
  24 {- rec -}
  25 dfun.ShouldSucceed.Eq'.Int =
  26     ({-dict-} [] [const.ShouldSucceed.Eq'.Int.doubleeq])
  27 const.ShouldSucceed.Eq'.Int.doubleeq :: Int -> Int -> Bool
  28 const.ShouldSucceed.Eq'.Int.doubleeq
  29     x.r22 y.r23
  30             = True
  31 {- rec -}
  32 dfun.ShouldSucceed.Ord'.Int =
  33     ({-dict-} [d.ShouldSucceed.Eq'.t13] [const.ShouldSucceed.Ord'.Int.lt])
  34 const.ShouldSucceed.Ord'.Int.lt :: Int -> Int -> Bool
  35 const.ShouldSucceed.Ord'.Int.lt
  36     x.r51 y.r52
  37             = True
  38 d.ShouldSucceed.Eq'.t13 = dfun.ShouldSucceed.Eq'.Int
  39 AbsBinds
  40 [a.t4, ot3]
  41 [d.Num.t9, d.ShouldSucceed.Ord'.t10]
  42 [(f.t1, ShouldSucceed.f)]
  43     (fromInt.t8, fromInt a.t4 d.Num.t9)
  44     (lit.t7, fromInt.t8 (MkInt 1#))
  45     (ShouldSucceed.Ord'.lt.t5,
  46         ShouldSucceed.Ord'.lt a.t4 d.ShouldSucceed.Ord'.t10)
  47     {- nonrec -}
  48     f.t1 :: a.t4 -> ot3 -> Bool
  49     f.t1 x.r62 y.r63
  50                  | ShouldSucceed.Ord'.lt.t5 x.r62 lit.t7 = True
  51                  | otherwise = False
  52