[project @ 1996-01-08 20:28:12 by partain]
[ghc.git] / ghc / compiler / tests / typecheck / should_succeed / tc022.stderr
1 Typechecked:
2 AbsBinds [ot2] [] [(id.t1, ShouldSucceed.id)]
3     {- nonrec -}
4     id.t1 :: ot2 -> ot2
5     id.t1
6         x.r55 = x.r55
7 AbsBinds [tt6] [] [(main.t4, ShouldSucceed.main)]
8     {- nonrec -}
9     main.t4 :: tt6 -> tt6
10     main.t4 = (ShouldSucceed.id (tt6 -> tt6)) (ShouldSucceed.id tt6)
11