diff options
| author | simonpj@microsoft.com <unknown> | 2007-05-11 08:40:17 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2007-05-11 08:40:17 +0000 |
| commit | 53167b89a0ad08049ed429e09d6863b6b322ec44 (patch) | |
| tree | 2cb90125c52b8f5537d8d72d5ec285487e1298bd /compiler | |
| parent | ff91258cdc66148172e8533ebd115a836aa67b1b (diff) | |
| download | haskell-53167b89a0ad08049ed429e09d6863b6b322ec44.tar.gz | |
Comments only
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/coreSyn/CoreSubst.lhs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/coreSyn/CoreSubst.lhs b/compiler/coreSyn/CoreSubst.lhs index 6a2255cf87..8306c04611 100644 --- a/compiler/coreSyn/CoreSubst.lhs +++ b/compiler/coreSyn/CoreSubst.lhs @@ -307,6 +307,7 @@ substRecBndrs subst bndrs substIdBndr :: Subst -- Substitution to use for the IdInfo -> Subst -> Id -- Substitition and Id to transform -> (Subst, Id) -- Transformed pair + -- NB: unfolding may be zapped substIdBndr rec_subst subst@(Subst in_scope env tvs) old_id = (Subst (in_scope `extendInScopeSet` new_id) new_env tvs, new_id) @@ -324,6 +325,7 @@ substIdBndr rec_subst subst@(Subst in_scope env tvs) old_id -- rec_subst, when dealing with a mutually-recursive group new_id = maybeModifyIdInfo mb_new_info id2 mb_new_info = substIdInfo rec_subst (idInfo id2) + -- NB: unfolding info may be zapped -- Extend the substitution if the unique has changed -- See the notes with substTyVarBndr for the delVarEnv |