[project @ 1996-01-08 20:28:12 by partain]
[ghc.git] / ghc / compiler / tests / typecheck / should_succeed / tc039.stderr
1 Typechecked:
2 {- nonrec -}
3 ShouldSucc.A.op1 = /\ a.t0 -> \{-classdict-} [d.Eq.t2] [op1.t1] -> op1.t1
4 sdsel.ShouldSucc.A.Eq = /\ a.t0 -> \{-classdict-} [d.Eq.t2] [op1.t1] -> d.Eq.t2
5 {- nonrec -}
6 defm.ShouldSucc.A.op1 =
7     /\ a.t3 ->
8         \{-dict-} d.ShouldSucc.A.t4 ->
9             (error (a.t3 -> a.t3))
10                 "No default method for \"ShouldSucc.A.defm.ShouldSucc.A.op1\"\n"
11