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

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

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc017.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc017.stderr
new file mode 100644 (file)
index 0000000..5bee79e
--- /dev/null
+++ b/ghc/compiler/tests/typecheck/should_succeed/tc017.stderr
@@ -0,0 +1,12 @@
+Typechecked:
+d.Num.t8 = dfun.Num.Integer
+fromInt.t7 = fromInt tt4 d.Num.t8
+lit.t5 = fromInt.t7 (MkInt 1#)
+d.Num.t9 = d.Num.t8
+(+.t3) = (+) tt4 d.Num.t9
+AbsBinds [] [] [(v.t1, ShouldSucceed.v)]
+    {- rec -}
+    v.t1 :: tt4
+    v.t1 | True = v.t1 +.t3 lit.t5
+        | False = v.t1
+