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

   1 Typechecked:
   2 {- nonrec -}
   3 ShouldSucceed.Eq'.doubleeq =
   4     /\ a.t11 -> \{-classdict-} [] [doubleeq.t12] -> doubleeq.t12
   5 {- nonrec -}
   6 defm.ShouldSucceed.Eq'.doubleeq =
   7     /\ a.t13 ->
   8         \{-dict-} d.ShouldSucceed.Eq'.t14 ->
   9             (error (a.t13 -> a.t13 -> Bool))
  10                 "No default method for \"ShouldSucceed.Eq'.defm.ShouldSucceed.Eq'.doubleeq\"\n"
  11 {- nonrec -}
  12 ShouldSucceed.Ord'.lt =
  13     /\ a.t15 -> \{-classdict-} [d.ShouldSucceed.Eq'.t17] [lt.t16] -> lt.t16
  14 sdsel.ShouldSucceed.Ord'.ShouldSucceed.Eq' =
  15     /\ a.t15 ->
  16         \{-classdict-} [d.ShouldSucceed.Eq'.t17] [lt.t16] ->
  17             d.ShouldSucceed.Eq'.t17
  18 {- nonrec -}
  19 defm.ShouldSucceed.Ord'.lt =
  20     /\ a.t18 ->
  21         \{-dict-} d.ShouldSucceed.Ord'.t19 ->
  22             (error (a.t18 -> a.t18 -> 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.r21 y.r22
  30             = True
  31 AbsBinds
  32 [a.t2]
  33 [d.ShouldSucceed.Eq'.t3]
  34 [(d.ShouldSucceed.Eq'.t4, dfun.ShouldSucceed.Eq'.List)]
  35     {- rec -}
  36     d.ShouldSucceed.Eq'.t4 = ({-dict-} [] [doubleeq.t5])
  37     doubleeq.t5 :: [a.t2] -> [a.t2] -> Bool
  38     doubleeq.t5
  39         x.r24 y.r25
  40                 = True
  41 {- rec -}
  42 dfun.ShouldSucceed.Ord'.Int =
  43     ({-dict-} [d.ShouldSucceed.Eq'.t8] [const.ShouldSucceed.Ord'.Int.lt])
  44 const.ShouldSucceed.Ord'.Int.lt :: Int -> Int -> Bool
  45 const.ShouldSucceed.Ord'.Int.lt
  46     x.r53 y.r54
  47             = True
  48 d.ShouldSucceed.Eq'.t8 = dfun.ShouldSucceed.Eq'.Int
  49