projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3defab) | patch
[project @ 2001-07-20 16:48:20 by simonpj]
authorsimonpj <unknown>
Fri, 20 Jul 2001 16:48:21 +0000 (16:48 +0000)
committersimonpj <unknown>
Fri, 20 Jul 2001 16:48:21 +0000 (16:48 +0000)
commit5d095cc1308afc5e539174f33fd3ff2bd9788bbd
tree0f18125d2d44db43074fa757cd6173628c2779d5tree | snapshot
parente3defabc698eb976504f750eee1258fe400a8352commit | diff
[project @ 2001-07-20 16:48:20 by simonpj]
This commit adds the very convenient function

  Subst.substTyWith :: [TyVar] -> [Type] -> Type -> Type

and uses it in various places.
ghc/compiler/basicTypes/DataCon.lhs diff | blob | history
ghc/compiler/coreSyn/CoreLint.lhs diff | blob | history
ghc/compiler/coreSyn/Subst.hi-boot diff | blob | history
ghc/compiler/coreSyn/Subst.hi-boot-5 diff | blob | history
ghc/compiler/coreSyn/Subst.lhs diff | blob | history
ghc/compiler/deSugar/DsBinds.lhs diff | blob | history
ghc/compiler/hsSyn/HsTypes.lhs diff | blob | history
ghc/compiler/ilxGen/IlxGen.lhs diff | blob | history
ghc/compiler/typecheck/Inst.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)