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

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

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc055.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc055.stderr
new file mode 100644 (file)
index 0000000..ba7f37f
--- /dev/null
+++ b/ghc/compiler/tests/typecheck/should_succeed/tc055.stderr
@@ -0,0 +1,8 @@
+Typechecked:
+AbsBinds [ot6, ot7] [] [(x.t2, ShouldSucceed.x), (y.t3, ShouldSucceed.y)]
+    {- nonrec -}
+    (x.t2, y.t3) :: (ot6 -> ot6, ot7 -> ot7)
+    (x.t2, y.t3)
+       = (\ p.r55 -> p.r55,
+          \ q.r56 -> q.r56)
+