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

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

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc069.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc069.stderr
new file mode 100644 (file)
index 0000000..df629a9
--- /dev/null
+++ b/ghc/compiler/tests/typecheck/should_succeed/tc069.stderr
@@ -0,0 +1,16 @@
+Typechecked:
+AbsBinds [] [] [(x.t1, Main.x)]
+    {- nonrec -}
+    x.t1 :: Char
+    x.t1 = 'a'
+AbsBinds [] [] [(y.t4, Main.y), (ys.t5, Main.ys)]
+    {- nonrec -}
+    (y.t4 : ys.t5) :: [Char]
+    (y.t4 : ys.t5) = ['a', 'b', 'c'] (Char)
+     where
+       AbsBinds [] [] [(p.t8, p.r56)]
+           {- nonrec -}
+           p.t8 :: Char
+           p.t8 = Main.x
+       {- nonrec -}
+