Add elemDVarEnv
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 23 Nov 2016 09:05:33 +0000 (09:05 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 25 Nov 2016 08:33:31 +0000 (08:33 +0000)
I need this in a later patch

compiler/basicTypes/VarEnv.hs

index 146a2fc..dcb64a9 100644 (file)
@@ -32,7 +32,7 @@ module VarEnv (
         dVarEnvElts,
         extendDVarEnv, extendDVarEnv_C,
         extendDVarEnvList,
-        lookupDVarEnv,
+        lookupDVarEnv, elemDVarEnv,
         isEmptyDVarEnv, foldDVarEnv,
         mapDVarEnv,
         modifyDVarEnv,
@@ -571,6 +571,9 @@ delDVarEnvList = delListFromUDFM
 isEmptyDVarEnv :: DVarEnv a -> Bool
 isEmptyDVarEnv = isNullUDFM
 
+elemDVarEnv :: Var -> DVarEnv a -> Bool
+elemDVarEnv = elemUDFM
+
 extendDVarEnv_C :: (a -> a -> a) -> DVarEnv a -> Var -> a -> DVarEnv a
 extendDVarEnv_C = addToUDFM_C