[project @ 1999-12-29 14:46:29 by simonpj]
[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc027.stderr
1 __export ShouldSucceed f g h;
2 1 f :: __forall [t] => PrelBase.Bool -> t -> t ;
3 1 g :: __forall [t] => t -> PrelBase.Bool -> t ;
4 1 h :: PrelBase.Bool -> PrelBase.Bool ;