[project @ 1996-01-08 20:28:12 by partain]
[ghc.git] / ghc / compiler / tests / typecheck / should_succeed / tc006.stderr
1 Typechecked:
2 d.Num.t7 = dfun.Num.Integer
3 fromInt.t6 = fromInt tt3 d.Num.t7
4 lit.t4 = fromInt.t6 (MkInt 1#)
5 AbsBinds [] [] [(h.t1, ShouldSucceed.h)]
6     {- rec -}
7     h.t1 :: [tt3]
8     h.t1 = ((:) tt3) lit.t4 h.t1
9