Commit eef96a79 authored by simonpj's avatar simonpj
Browse files

[project @ 2003-07-28 10:22:58 by simonpj]

Comments only
parent b3e58b41
......@@ -249,6 +249,7 @@ substInScope (Subst in_scope _) = in_scope
zapSubstEnv :: Subst -> Subst
zapSubstEnv (Subst in_scope env) = Subst in_scope emptySubstEnv
-- ToDo: add an ASSERT that fvs(subst-result) is already in the in-scope set
extendSubst :: Subst -> Var -> SubstResult -> Subst
extendSubst (Subst in_scope env) v r = Subst in_scope (extendSubstEnv env v r)
......@@ -390,6 +391,7 @@ zipTyEnv tyvars tys
#endif
= zip_ty_env tyvars tys emptySubstEnv
-- Later substitutions in the list over-ride earlier ones
zip_ty_env [] [] env = env
zip_ty_env (tv:tvs) (ty:tys) env = zip_ty_env tvs tys (extendSubstEnv env tv (DoneTy ty))
-- There used to be a special case for when
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment