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

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

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc008.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc008.stderr
new file mode 100644 (file)
index 0000000..a70264d
--- /dev/null
+++ b/ghc/compiler/tests/typecheck/should_succeed/tc008.stderr
@@ -0,0 +1,11 @@
+Typechecked:
+AbsBinds [tt4] [d.Num.t7] [(n.t1, ShouldSucceed.n)]
+    (fromInt.t6, fromInt tt4 d.Num.t7)
+    (lit.t3, fromInt.t6 (MkInt 1#))
+    (fromInt.t8, fromInt.t6)
+    (lit.t5, fromInt.t8 (MkInt 0#))
+    {- nonrec -}
+    n.t1 :: Bool -> tt4
+    n.t1 True = lit.t3
+    n.t1 False = lit.t5
+