[project @ 1996-01-08 20:28:12 by partain]
[ghc.git] / ghc / compiler / tests / typecheck / should_succeed / tc026.stderr
1 Typechecked:
2 AbsBinds [ot4] [] [(f.t1, ShouldSucceed.f)]
3     {- rec -}
4     f.t1 :: Bool -> ot4 -> ot4
5     f.t1 x.r56 y.r57
6                  = if x.r56 then y.r57 else f.t1 x.r56 y.r57
7 AbsBinds [] [] [(g.t6, ShouldSucceed.g)]
8     {- nonrec -}
9     g.t6 :: Bool -> Bool
10     g.t6 x.r55 = (ShouldSucceed.f Bool)
11                      ((ShouldSucceed.f Bool) True x.r55) x.r55
12