From c837a7f2f12d3f340454b9525be188f3ec27c8cf Mon Sep 17 00:00:00 2001 From: simonmar Date: Wed, 17 Nov 1999 11:25:01 +0000 Subject: [PATCH] [project @ 1999-11-17 11:25:01 by simonmar] Remove unused FiniteSet stuff. --- ghc/compiler/utils/FiniteMap.lhs | 29 ----------------------------- 1 file changed, 29 deletions(-) diff --git a/ghc/compiler/utils/FiniteMap.lhs b/ghc/compiler/utils/FiniteMap.lhs index abcdc2a..2346105 100644 --- a/ghc/compiler/utils/FiniteMap.lhs +++ b/ghc/compiler/utils/FiniteMap.lhs @@ -45,8 +45,6 @@ module FiniteMap ( fmToList, keysFM, eltsFM , bagToFM - , FiniteSet, emptySet, mkSet, isEmptySet - , elementOf, setToList, union, insert, minusSet ) where @@ -672,33 +670,6 @@ instance (Ord key, Ord elt) => Ord (FiniteMap key elt) where %************************************************************************ %* * -\subsection{FiniteSets---a thin veneer} -%* * -%************************************************************************ - -\begin{code} -type FiniteSet key = FiniteMap key () -emptySet :: FiniteSet key -mkSet :: (Ord key OUTPUTABLE_key) => [key] -> FiniteSet key -isEmptySet :: FiniteSet key -> Bool -elementOf :: (Ord key OUTPUTABLE_key) => key -> FiniteSet key -> Bool -minusSet :: (Ord key OUTPUTABLE_key) => FiniteSet key -> FiniteSet key -> FiniteSet key -setToList :: FiniteSet key -> [key] -union :: (Ord key OUTPUTABLE_key) => FiniteSet key -> FiniteSet key -> FiniteSet key -insert :: (Ord key OUTPUTABLE_key) => FiniteSet key -> key -> FiniteSet key - -emptySet = emptyFM -mkSet xs = listToFM [ (x, ()) | x <- xs] -isEmptySet = isEmptyFM -elementOf = elemFM -minusSet = minusFM -setToList = keysFM -union = plusFM -insert s v = addToFM s v () -\end{code} - -%************************************************************************ -%* * \subsection{Efficiency pragmas for GHC} %* * %************************************************************************ -- 1.7.10.4