diff options
| author | Bartosz Nitka <niteria@gmail.com> | 2016-04-20 09:51:05 -0700 |
|---|---|---|
| committer | Bartosz Nitka <niteria@gmail.com> | 2016-04-20 14:34:00 -0700 |
| commit | 2e33320a24e5a7b837b4c217f95ca428cd6e5482 (patch) | |
| tree | 2b2849bcb647ce342c76bca2328a5e396dbc5b53 /compiler/simplCore | |
| parent | 55b1b85df424747b8ef3b7301c1cdec36c4bbe62 (diff) | |
| download | haskell-2e33320a24e5a7b837b4c217f95ca428cd6e5482.tar.gz | |
Rename FV related functions
This is from Simon's suggestion:
* `tyCoVarsOfTypesAcc` is a terrible name for a function with a
perfectly decent type `[Type] -> FV`. Maybe `tyCoFVsOfTypes`?
Similarly others
* `runFVList` is also terrible, but also has a decent type.
Maybe just `fvVarList` (and `fvVarSet` for `runFVSet`).
* `someVars` could be `mkFVs :: [Var] -> FV`.
Diffstat (limited to 'compiler/simplCore')
| -rw-r--r-- | compiler/simplCore/SetLevels.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/simplCore/SetLevels.hs b/compiler/simplCore/SetLevels.hs index 897b131d83..f2d82ac7fa 100644 --- a/compiler/simplCore/SetLevels.hs +++ b/compiler/simplCore/SetLevels.hs @@ -786,7 +786,7 @@ lvlBind env (AnnRec pairs) -- Finding the free vars of the binding group is annoying bind_fvs = ((unionDVarSets [ freeVarsOf rhs | (_, rhs) <- pairs]) `unionDVarSet` - (runFVDSet $ unionsFV [ idFreeVarsAcc bndr + (fvDVarSet $ unionsFV [ idFVs bndr | (bndr, (_,_)) <- pairs])) `delDVarSetList` bndrs @@ -1054,7 +1054,7 @@ abstractVars dest_lvl (LE { le_subst = subst, le_lvl_env = lvl_env }) in_fvs -- Result includes the input variable itself close v = foldDVarSet (unionDVarSet . close) (unitDVarSet v) - (runFVDSet $ varTypeTyCoVarsAcc v) + (fvDVarSet $ varTypeTyCoFVs v) type LvlM result = UniqSM result |