diff options
Diffstat (limited to 'ghc/compiler/tests/typecheck/should_succeed/tc010.stderr')
-rw-r--r-- | ghc/compiler/tests/typecheck/should_succeed/tc010.stderr | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc010.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc010.stderr new file mode 100644 index 0000000000..96d1942e3c --- /dev/null +++ b/ghc/compiler/tests/typecheck/should_succeed/tc010.stderr @@ -0,0 +1,14 @@ +Typechecked: +d.Num.t13 = dfun.Num.Integer +fromInt.t12 = fromInt tt9 d.Num.t13 +lit.t10 = fromInt.t12 (MkInt 2#) +d.Num.t14 = d.Num.t13 +(+.t8) = (+) tt9 d.Num.t14 +lit.t6 = lit.t10 +fromInt.t15 = fromInt.t12 +lit.t4 = fromInt.t15 (MkInt 1#) +AbsBinds [] [] [(p.t1, ShouldSucceed.p)] + {- nonrec -} + p.t1 :: [(tt9, Bool)] + p.t1 = [ (y.r54 +.t8 lit.t10, True) | y.r54 <- [lit.t4, lit.t6] (tt9) ] + |