[project @ 1996-01-08 20:28:12 by partain]
[ghc.git] / ghc / compiler / tests / typecheck / should_succeed / tc021.stderr
1 Typechecked:
2 AbsBinds [tt0] [] [(x.t1, ShouldSucceed.x)]
3     {- rec -}
4     x.t1 :: tt0
5     x.t1 = x.t1
6 AbsBinds [tt4, tt5] [] [(a.t3, ShouldSucceed.a)]
7     {- nonrec -}
8     a.t3 :: (tt4, tt5)
9     a.t3 = (ShouldSucceed.x tt4, ShouldSucceed.x tt5)
10 AbsBinds [ot8, tt9, tt10] [] [(f.t7, ShouldSucceed.f)]
11     {- nonrec -}
12     f.t7 :: ot8 -> (tt9, tt10)
13     f.t7 x.r56 = ShouldSucceed.a [tt9, tt10]
14