Skip to content
GitLab
Explore
Sign in
Register
Alex D
GHC
Repository
ghc
compiler
types
TyCoRep.hs
Find file
Blame
History
Permalink
Define mkTvSubst, and use it
· fac0efc3
Simon Peyton Jones
authored
Feb 08, 2016
mkTvSubst :: InScopeSet -> TvSubstEnv -> TCvSubst produces a TCvSubst with an empty CvSubstEnv
fac0efc3