Reorganisation of the source tree
[ghc-hetmet.git] / ghc / compiler / basicTypes / VarSet.lhs
diff --git a/ghc/compiler/basicTypes/VarSet.lhs b/ghc/compiler/basicTypes/VarSet.lhs
deleted file mode 100644 (file)
index 55e82a8..0000000
+++ /dev/null
@@ -1,105 +0,0 @@
-%
-% (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
-%
-\section{@VarSet@: Variable sets}
-
-\begin{code}
-module VarSet (
-       VarSet, IdSet, TyVarSet,
-       emptyVarSet, unitVarSet, mkVarSet,
-       extendVarSet, extendVarSetList, extendVarSet_C,
-       elemVarSet, varSetElems, subVarSet,
-       unionVarSet, unionVarSets,
-       intersectVarSet, intersectsVarSet,
-       isEmptyVarSet, delVarSet, delVarSetList, delVarSetByKey,
-       minusVarSet, foldVarSet, filterVarSet,
-       lookupVarSet, mapVarSet, sizeVarSet, seqVarSet,
-       elemVarSetByKey
-    ) where
-
-#include "HsVersions.h"
-
-import Var             ( Var, Id, TyVar )
-import Unique          ( Unique )
-import UniqSet
-import UniqFM          ( delFromUFM_Directly, addToUFM_C )
-\end{code}
-
-%************************************************************************
-%*                                                                     *
-\subsection{@VarSet@s}
-%*                                                                     *
-%************************************************************************
-
-\begin{code}
-type VarSet       = UniqSet Var
-type IdSet       = UniqSet Id
-type TyVarSet    = UniqSet TyVar
-
-emptyVarSet    :: VarSet
-intersectVarSet        :: VarSet -> VarSet -> VarSet
-unionVarSet    :: VarSet -> VarSet -> VarSet
-unionVarSets   :: [VarSet] -> VarSet
-varSetElems    :: VarSet -> [Var]
-unitVarSet     :: Var -> VarSet
-extendVarSet   :: VarSet -> Var -> VarSet
-extendVarSetList:: VarSet -> [Var] -> VarSet
-elemVarSet     :: Var -> VarSet -> Bool
-delVarSet      :: VarSet -> Var -> VarSet
-delVarSetList  :: VarSet -> [Var] -> VarSet
-minusVarSet    :: VarSet -> VarSet -> VarSet
-isEmptyVarSet  :: VarSet -> Bool
-mkVarSet       :: [Var] -> VarSet
-foldVarSet     :: (Var -> a -> a) -> a -> VarSet -> a
-lookupVarSet   :: VarSet -> Var -> Maybe Var
-                       -- Returns the set element, which may be
-                       -- (==) to the argument, but not the same as
-mapVarSet      :: (Var -> Var) -> VarSet -> VarSet
-sizeVarSet     :: VarSet -> Int
-filterVarSet   :: (Var -> Bool) -> VarSet -> VarSet
-extendVarSet_C  :: (Var->Var->Var) -> VarSet -> Var -> VarSet
-
-delVarSetByKey :: VarSet -> Unique -> VarSet
-elemVarSetByKey :: Unique -> VarSet -> Bool
-
-emptyVarSet    = emptyUniqSet
-unitVarSet     = unitUniqSet
-extendVarSet   = addOneToUniqSet
-extendVarSetList= addListToUniqSet
-intersectVarSet        = intersectUniqSets
-
-intersectsVarSet:: VarSet -> VarSet -> Bool    -- True if non-empty intersection
-       -- (s1 `intersectsVarSet` s2) doesn't compute s2 if s1 is empty
-subVarSet      :: VarSet -> VarSet -> Bool     -- True if first arg is subset of second
-       -- (s1 `subVarSet` s2) doesn't compute s2 if s1 is empty
-
-unionVarSet    = unionUniqSets
-unionVarSets   = unionManyUniqSets
-varSetElems    = uniqSetToList
-elemVarSet     = elementOfUniqSet
-minusVarSet    = minusUniqSet
-delVarSet      = delOneFromUniqSet
-delVarSetList  = delListFromUniqSet
-isEmptyVarSet  = isEmptyUniqSet
-mkVarSet       = mkUniqSet
-foldVarSet     = foldUniqSet
-lookupVarSet   = lookupUniqSet
-mapVarSet      = mapUniqSet
-sizeVarSet     = sizeUniqSet
-filterVarSet   = filterUniqSet
-extendVarSet_C combine s x = addToUFM_C combine s x x
-delVarSetByKey = delFromUFM_Directly   -- Can't be bothered to add this to UniqSet
-elemVarSetByKey        = elemUniqSet_Directly
-\end{code}
-
-\begin{code}
--- See comments with type signatures
-intersectsVarSet s1 s2 = not (isEmptyVarSet (s1 `intersectVarSet` s2))
-a `subVarSet` b = isEmptyVarSet (a `minusVarSet` b)
-\end{code}
-
-\begin{code}
-seqVarSet :: VarSet -> ()
-seqVarSet s = sizeVarSet s `seq` ()
-\end{code}
-