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

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

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc076.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc076.stderr
new file mode 100644 (file)
index 0000000..dd887a2
--- /dev/null
+++ b/ghc/compiler/tests/typecheck/should_succeed/tc076.stderr
@@ -0,0 +1,10 @@
+Typechecked:
+AbsBinds [] [] [(x.t1, ShouldSucceed.x)]
+    {- nonrec -}
+    x.t1 :: [[Bool]]
+    x.t1 = [[True] (Bool)] ([Bool])
+AbsBinds [] [] [(xs.t3, ShouldSucceed.xs)]
+    {- nonrec -}
+    xs.t3 :: [Bool]
+    xs.t3 = [ x.r56 | x.r55 <- ShouldSucceed.x, x.r56 <- x.r55 ]
+