projects / ghc-hetmet.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
[project @ 2001-03-29 14:33:37 by simonmar]
[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc016.stderr
1 __export ShouldSucceed f;
2 1 f :: __forall [t t1] => t -> t1 -> t ;
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)