[project @ 2001-03-29 14:33:37 by simonmar]

[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc024.stderr

__export ShouldSucceed k main s;
1 k :: __forall [t t1] => t -> t1 -> t ;
1 main :: __forall [t] => t -> t ;
1 s :: __forall [t t1 t2] => (t -> t2 -> t1) -> (t -> t2) -> t -> t1 ;