[project @ 1996-01-08 20:28:12 by partain]

[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_succeed / tc039.stderr

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc039.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc039.stderr
new file mode 100644 (file)
index 0000000..025c3e9
--- /dev/null
+++ b/ghc/compiler/tests/typecheck/should_succeed/tc039.stderr
@@ -0,0 +1,11 @@
+Typechecked:
+{- nonrec -}
+ShouldSucc.A.op1 = /\ a.t0 -> \{-classdict-} [d.Eq.t2] [op1.t1] -> op1.t1
+sdsel.ShouldSucc.A.Eq = /\ a.t0 -> \{-classdict-} [d.Eq.t2] [op1.t1] -> d.Eq.t2
+{- nonrec -}
+defm.ShouldSucc.A.op1 =
+    /\ a.t3 ->
+       \{-dict-} d.ShouldSucc.A.t4 ->
+           (error (a.t3 -> a.t3))
+               "No default method for \"ShouldSucc.A.defm.ShouldSucc.A.op1\"\n"
+