[project @ 1996-01-08 20:28:12 by partain]
[ghc.git] / ghc / compiler / tests / typecheck / should_succeed / tc001.stderr
1 Typechecked:
2 AbsBinds [tt12] [d.Num.t16] [(a.t1, ShouldSucceed.a)]
3     (fromInt.t15, fromInt tt12 d.Num.t16)
4     (lit.t8, fromInt.t15 (MkInt 3#))
5     (d.Num.t17, d.Num.t16)
6     (+.t6, (+) tt12 d.Num.t17)
7     (fromInt.t18, fromInt.t15)
8     (lit.t13, fromInt.t18 (MkInt 2#))
9     (+.t11, (+.t6))
10     {- nonrec -}
11     a.t1 :: tt12 -> tt12
12     a.t1 x.r54 = y.r55 +.t11 lit.t13
13                where
14                    AbsBinds [] [] [(y.t4, y.r55)]
15                        {- nonrec -}
16                        y.t4 :: tt12
17                        y.t4 = x.r54 +.t6 lit.t8
18                    {- nonrec -}
19