diff options
| author | Bartosz Nitka <niteria@gmail.com> | 2016-07-05 09:50:02 -0700 |
|---|---|---|
| committer | Bartosz Nitka <niteria@gmail.com> | 2016-07-05 09:52:10 -0700 |
| commit | 1b058d4a0f4b12bf15d186409cfff8a2b93fd3a9 (patch) | |
| tree | 03dc5a16ec6cfebb6c468675d1ced1cf5160cf28 | |
| parent | 18b782e3209764c318da46b378b517749af14685 (diff) | |
| download | haskell-1b058d4a0f4b12bf15d186409cfff8a2b93fd3a9.tar.gz | |
Remove varEnvElts
varEnvElts can introduce unnecessary nondeterminism
and we can finally remove it, so that no one will use
it by accident. If someone wants to use varEnvElts they
should either use DVarEnv or use nonDetEltsUFM and document
why it doesn't introduce nondeterminism.
GHC Trac: #4012
| -rw-r--r-- | compiler/basicTypes/VarEnv.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/compiler/basicTypes/VarEnv.hs b/compiler/basicTypes/VarEnv.hs index 626b5cdd45..92b6cc7078 100644 --- a/compiler/basicTypes/VarEnv.hs +++ b/compiler/basicTypes/VarEnv.hs @@ -9,7 +9,7 @@ module VarEnv ( -- ** Manipulating these environments emptyVarEnv, unitVarEnv, mkVarEnv, mkVarEnv_Directly, - elemVarEnv, varEnvElts, + elemVarEnv, extendVarEnv, extendVarEnv_C, extendVarEnv_Acc, extendVarEnv_Directly, extendVarEnvList, plusVarEnv, plusVarEnv_C, plusVarEnv_CD, alterVarEnv, @@ -437,7 +437,6 @@ plusVarEnv_C :: (a -> a -> a) -> VarEnv a -> VarEnv a -> VarEnv a plusVarEnv_CD :: (a -> a -> a) -> VarEnv a -> a -> VarEnv a -> a -> VarEnv a mapVarEnv :: (a -> b) -> VarEnv a -> VarEnv b modifyVarEnv :: (a -> a) -> VarEnv a -> Var -> VarEnv a -varEnvElts :: VarEnv a -> [a] isEmptyVarEnv :: VarEnv a -> Bool lookupVarEnv :: VarEnv a -> Var -> Maybe a @@ -469,7 +468,6 @@ mapVarEnv = mapUFM mkVarEnv = listToUFM mkVarEnv_Directly= listToUFM_Directly emptyVarEnv = emptyUFM -varEnvElts = eltsUFM unitVarEnv = unitUFM isEmptyVarEnv = isNullUFM lookupVarEnv_Directly = lookupUFM_Directly |