projects / ghc-hetmet.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
[project @ 1999-05-18 15:03:54 by simonpj]
[ghc-hetmet.git] / ghc / compiler / coreSyn / Subst.hi-boot-5
1 __interface Subst 1 0 where
2 __export Subst Subst mkTyVarSubst substTy ;
3 1 data Subst;
4 1 mkTyVarSubst :: [Var.TyVar] -> [Type.Type] -> Subst ;
5 1 substTy :: Subst -> Type.Type -> Type.Type ;
6
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)