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

   1 Typechecked:
   2 {- nonrec -}
   3 (M.EQ.===) =
   4     /\ a.t0 -> \{-classdict-} [d.M.ORD.t2 d.Text.t3] [===.t1] -> (===.t1)
   5 sdsel.M.EQ.M.ORD =
   6     /\ a.t0 -> \{-classdict-} [d.M.ORD.t2 d.Text.t3] [===.t1] -> d.M.ORD.t2
   7 sdsel.M.EQ.Text =
   8     /\ a.t0 -> \{-classdict-} [d.M.ORD.t2 d.Text.t3] [===.t1] -> d.Text.t3
   9 {- nonrec -}
  10 defm.M.EQ.=== =
  11     /\ a.t4 ->
  12         \{-dict-} d.M.EQ.t5 ->
  13             (error (a.t4 -> a.t4 -> Bool))
  14                 "No default method for \"M.EQ.defm.M.EQ.===\"\n"
  15 {- nonrec -}
  16 sdsel.M.ORD.Num = /\ a.t6 -> \{-classdict-} [d.Num.t7] [] -> d.Num.t7
  17 {- nonrec -}
  18
  19 =-=-=-=-=INTERFACE STARTS HERE=-=-=-=-= M
  20 interface M where
  21 class (ORD a, Text a) => EQ a where (===) :: a -> a -> Bool
  22 class (Num a) => ORD a
  23 data NUM = ONE | TWO
  24 =-=-=-=-=INTERFACE STOPS  HERE=-=-=-=-=
  25