Kill unused foldOccSet
authorBartosz Nitka <niteria@gmail.com>
Thu, 28 Apr 2016 16:51:56 +0000 (09:51 -0700)
committerBartosz Nitka <niteria@gmail.com>
Thu, 28 Apr 2016 16:51:56 +0000 (09:51 -0700)
foldOccSet if used would be a potential source of nondeterminism.
Since it's not used we can just remove it.

compiler/basicTypes/OccName.hs

index 74bd96b..e15cfbb 100644 (file)
@@ -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))