Add ASSERTs to all calls of nameModule
[ghc-hetmet.git] / compiler / basicTypes / VarSet.lhs
index 812213d..67a3dbf 100644 (file)
@@ -1,11 +1,14 @@
 %
+% (c) The University of Glasgow 2006
 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
 %
-\section{@VarSet@: Variable sets}
 
 \begin{code}
 module VarSet (
+        -- * Var, Id and TyVar set types
        VarSet, IdSet, TyVarSet,
+       
+       -- ** Manipulating these sets
        emptyVarSet, unitVarSet, mkVarSet,
        extendVarSet, extendVarSetList, extendVarSet_C,
        elemVarSet, varSetElems, subVarSet,
@@ -19,10 +22,9 @@ module VarSet (
 
 #include "HsVersions.h"
 
-import Var             ( Var, Id, TyVar )
-import Unique          ( Unique )
+import Var      ( Var, TyVar, Id )
+import Unique
 import UniqSet
-import UniqFM          ( delFromUFM_Directly, addToUFM_C )
 \end{code}
 
 %************************************************************************
@@ -88,8 +90,8 @@ 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
+extendVarSet_C = addOneToUniqSet_C
+delVarSetByKey = delOneFromUniqSet_Directly
 elemVarSetByKey        = elemUniqSet_Directly
 \end{code}