From 49e265f1e3e1aef2f0d7b8f25eb50e268b16c8cc Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Thu, 5 Oct 2006 10:56:15 +0000 Subject: [PATCH] Add intersectsUFM --- compiler/utils/UniqFM.lhs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/compiler/utils/UniqFM.lhs b/compiler/utils/UniqFM.lhs index 84294aa..2a02dc7 100644 --- a/compiler/utils/UniqFM.lhs +++ b/compiler/utils/UniqFM.lhs @@ -29,6 +29,7 @@ module UniqFM ( plusUFM, plusUFM_C, minusUFM, + intersectsUFM, intersectUFM, intersectUFM_C, foldUFM, @@ -107,6 +108,8 @@ minusUFM :: UniqFM elt1 -> UniqFM elt2 -> UniqFM elt1 intersectUFM :: UniqFM elt -> UniqFM elt -> UniqFM elt intersectUFM_C :: (elt1 -> elt2 -> elt3) -> UniqFM elt1 -> UniqFM elt2 -> UniqFM elt3 +intersectsUFM :: UniqFM elt1 -> UniqFM elt2 -> Bool + foldUFM :: (elt -> a -> a) -> a -> UniqFM elt -> a mapUFM :: (elt1 -> elt2) -> UniqFM elt1 -> UniqFM elt2 filterUFM :: (elt -> Bool) -> UniqFM elt -> UniqFM elt @@ -450,7 +453,8 @@ minusUFM fm1 fm2 = minus_trees fm1 fm2 And taking the intersection of two UniqFM's. \begin{code} -intersectUFM t1 t2 = intersectUFM_C use_snd t1 t2 +intersectUFM t1 t2 = intersectUFM_C use_snd t1 t2 +intersectsUFM t1 t2 = isNullUFM (intersectUFM_C (\ _ _ -> error "urk") t1 t2) intersectUFM_C f EmptyUFM _ = EmptyUFM intersectUFM_C f _ EmptyUFM = EmptyUFM -- 1.7.10.4