X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Futils%2FDigraph.lhs;fp=compiler%2Futils%2FDigraph.lhs;h=a2bb21572dacfd9b1c29e4d7d229bd2a9192b5d0;hp=eadabdae7d1d53e8636735bed97268760e13bf6f;hb=e07185eda0f37bd56ad876a2dfe73c956e432ffc;hpb=393f26621b762225b204b3dc78b05a3ecf08871e diff --git a/compiler/utils/Digraph.lhs b/compiler/utils/Digraph.lhs index eadabda..a2bb215 100644 --- a/compiler/utils/Digraph.lhs +++ b/compiler/utils/Digraph.lhs @@ -40,6 +40,7 @@ module Digraph( import Util ( sortLe ) import Outputable import Maybes ( expectJust ) +import MonadUtils ( allM ) -- Extensions import Control.Monad ( filterM, liftM, liftM2 ) @@ -588,8 +589,4 @@ vertexGroupsS provided g to_provide vertexReady :: Set s -> IntGraph -> Vertex -> ST s Bool vertexReady provided g v = liftM2 (&&) (liftM not $ provided `contains` v) (allM (provided `contains`) (g!v)) - -allM :: Monad m => (a -> m Bool) -> [a] -> m Bool -allM _ [] = return True -allM f (b:bs) = (f b) >>= (\bv -> if bv then allM f bs else return False) \end{code}