Kill occSetElts
authorBartosz Nitka <niteria@gmail.com>
Tue, 7 Jun 2016 12:23:32 +0000 (05:23 -0700)
committerBartosz Nitka <niteria@gmail.com>
Tue, 7 Jun 2016 12:24:26 +0000 (05:24 -0700)
It uses uniqSetToList which is nondeterministic.

GHC Trac: #4012

compiler/basicTypes/OccName.hs

index 4410bd1..19a9b3b 100644 (file)
@@ -91,7 +91,7 @@ module OccName (
         -- * The 'OccSet' type
         OccSet, emptyOccSet, unitOccSet, mkOccSet, extendOccSet,
         extendOccSetList,
-        unionOccSets, unionManyOccSets, minusOccSet, elemOccSet, occSetElts,
+        unionOccSets, unionManyOccSets, minusOccSet, elemOccSet,
         isEmptyOccSet, intersectOccSet, intersectsOccSet,
         filterOccSet,
 
@@ -443,7 +443,6 @@ unionOccSets      :: OccSet -> OccSet -> OccSet
 unionManyOccSets  :: [OccSet] -> OccSet
 minusOccSet       :: OccSet -> OccSet -> OccSet
 elemOccSet        :: OccName -> OccSet -> Bool
-occSetElts        :: OccSet -> [OccName]
 isEmptyOccSet     :: OccSet -> Bool
 intersectOccSet   :: OccSet -> OccSet -> OccSet
 intersectsOccSet  :: OccSet -> OccSet -> Bool
@@ -458,7 +457,6 @@ unionOccSets      = unionUniqSets
 unionManyOccSets  = unionManyUniqSets
 minusOccSet       = minusUniqSet
 elemOccSet        = elementOfUniqSet
-occSetElts        = uniqSetToList
 isEmptyOccSet     = isEmptyUniqSet
 intersectOccSet   = intersectUniqSets
 intersectsOccSet s1 s2 = not (isEmptyOccSet (s1 `intersectOccSet` s2))