projects / ghc-hetmet.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
[project @ 2003-07-11 08:53:25 by simonpj]
[ghc-hetmet.git] / ghc / compiler / coreSyn / Subst.hi-boot
1 _interface_ Subst 2
2 _exports_ Subst Subst substTyWith ;
3 _declarations_
4 1 data Subst;
5 1 substTyWith _:_ [Var.TyVar] -> [TypeRep.Type] -> TypeRep.Type -> TypeRep.Type ;;
6
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)