diff options
| author | Bartosz Nitka <niteria@gmail.com> | 2016-04-28 09:51:56 -0700 |
|---|---|---|
| committer | Bartosz Nitka <niteria@gmail.com> | 2016-04-28 09:51:56 -0700 |
| commit | 3a53380d40a1f9465075b46fba36451116c12ff1 (patch) | |
| tree | 5ca369afbe222fb68f1abde1e5423f724a298cd1 | |
| parent | 546f24e4f8a7c086b1e5afcdda624176610cbcf8 (diff) | |
| download | haskell-3a53380d40a1f9465075b46fba36451116c12ff1.tar.gz | |
Kill unused foldOccSet
foldOccSet if used would be a potential source of nondeterminism.
Since it's not used we can just remove it.
| -rw-r--r-- | compiler/basicTypes/OccName.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/compiler/basicTypes/OccName.hs b/compiler/basicTypes/OccName.hs index 74bd96bfec..e15cfbb775 100644 --- a/compiler/basicTypes/OccName.hs +++ b/compiler/basicTypes/OccName.hs @@ -92,7 +92,7 @@ module OccName ( OccSet, emptyOccSet, unitOccSet, mkOccSet, extendOccSet, extendOccSetList, unionOccSets, unionManyOccSets, minusOccSet, elemOccSet, occSetElts, - foldOccSet, isEmptyOccSet, intersectOccSet, intersectsOccSet, + isEmptyOccSet, intersectOccSet, intersectsOccSet, filterOccSet, -- * Tidying up @@ -446,7 +446,6 @@ unionManyOccSets :: [OccSet] -> OccSet minusOccSet :: OccSet -> OccSet -> OccSet elemOccSet :: OccName -> OccSet -> Bool occSetElts :: OccSet -> [OccName] -foldOccSet :: (OccName -> b -> b) -> b -> OccSet -> b isEmptyOccSet :: OccSet -> Bool intersectOccSet :: OccSet -> OccSet -> OccSet intersectsOccSet :: OccSet -> OccSet -> Bool @@ -462,7 +461,6 @@ unionManyOccSets = unionManyUniqSets minusOccSet = minusUniqSet elemOccSet = elementOfUniqSet occSetElts = uniqSetToList -foldOccSet = foldUniqSet isEmptyOccSet = isEmptyUniqSet intersectOccSet = intersectUniqSets intersectsOccSet s1 s2 = not (isEmptyOccSet (s1 `intersectOccSet` s2)) |