1 files changed, 57 insertions, 0 deletions
diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc056.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc056.stderr
new file mode 100644
index 0000000000..d075a89e87
--- /dev/null
+++ b/ghc/compiler/tests/typecheck/should_succeed/tc056.stderr
@@ -0,0 +1,57 @@
+Typechecked:
+{- nonrec -}
+ShouldSucceed.Eq'.doubleeq =
+    /\ a.t22 -> \{-classdict-} [] [doubleeq.t23] -> doubleeq.t23
+{- nonrec -}
+defm.ShouldSucceed.Eq'.doubleeq =
+    /\ a.t24 ->
+	\{-dict-} d.ShouldSucceed.Eq'.t25 ->
+	    (error (a.t24 -> a.t24 -> Bool))
+		"No default method for \"ShouldSucceed.Eq'.defm.ShouldSucceed.Eq'.doubleeq\"\n"
+{- nonrec -}
+ShouldSucceed.Ord'.lt =
+    /\ a.t26 -> \{-classdict-} [d.ShouldSucceed.Eq'.t28] [lt.t27] -> lt.t27
+sdsel.ShouldSucceed.Ord'.ShouldSucceed.Eq' =
+    /\ a.t26 ->
+	\{-classdict-} [d.ShouldSucceed.Eq'.t28] [lt.t27] ->
+	    d.ShouldSucceed.Eq'.t28
+{- nonrec -}
+defm.ShouldSucceed.Ord'.lt =
+    /\ a.t29 ->
+	\{-dict-} d.ShouldSucceed.Ord'.t30 ->
+	    (error (a.t29 -> a.t29 -> Bool))
+		"No default method for \"ShouldSucceed.Ord'.defm.ShouldSucceed.Ord'.lt\"\n"
+{- rec -}
+dfun.ShouldSucceed.Eq'.Int =
+    ({-dict-} [] [const.ShouldSucceed.Eq'.Int.doubleeq])
+const.ShouldSucceed.Eq'.Int.doubleeq :: Int -> Int -> Bool
+const.ShouldSucceed.Eq'.Int.doubleeq
+    x.r31 y.r32
+	    = True
+AbsBinds
+[a.t15]
+[d.ShouldSucceed.Eq'.t16, d.ShouldSucceed.Eq'.t17]
+[(d.ShouldSucceed.Eq'.t18, dfun.ShouldSucceed.Eq'.List)]
+    {- rec -}
+    d.ShouldSucceed.Eq'.t18 = ({-dict-} [] [doubleeq.t19])
+    doubleeq.t19 :: [a.t15] -> [a.t15] -> Bool
+    doubleeq.t19
+	x.r34 y.r35
+		= True
+AbsBinds
+[tt6, ot3]
+[d.Num.t9, d.ShouldSucceed.Eq'.t11]
+[(f.t1, ShouldSucceed.f)]
+    (fromInt.t8, fromInt tt6 d.Num.t9)
+    (lit.t7, fromInt.t8 (MkInt 1#))
+    (d.ShouldSucceed.Eq'.t12, d.ShouldSucceed.Eq'.t11)
+    (d.ShouldSucceed.Eq'.t10,
+	dfun.ShouldSucceed.Eq'.List tt6
+	    [d.ShouldSucceed.Eq'.t11, d.ShouldSucceed.Eq'.t12])
+    (ShouldSucceed.Eq'.doubleeq.t5,
+	ShouldSucceed.Eq'.doubleeq [tt6] d.ShouldSucceed.Eq'.t10)
+    {- nonrec -}
+    f.t1 :: [tt6] -> ot3 -> Bool
+    f.t1 x.r63 y.r64
+		 = ShouldSucceed.Eq'.doubleeq.t5 x.r63 ([lit.t7] (tt6))
+