X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=utils%2Fext-core%2FLanguage%2FCore%2FUtils.hs;h=d5ca785b21de1bdc99d0fb476179aab403d73d51;hb=e6232609a0b08ff7136a479f2e2d7d2be5040b1d;hp=3ffabf287b11932c33069418eaf1472e9dbfcb70;hpb=78c209010058cd7669781de92068b64dd32caaea;p=ghc-hetmet.git diff --git a/utils/ext-core/Language/Core/Utils.hs b/utils/ext-core/Language/Core/Utils.hs index 3ffabf2..d5ca785 100644 --- a/utils/ext-core/Language/Core/Utils.hs +++ b/utils/ext-core/Language/Core/Utils.hs @@ -33,7 +33,7 @@ everywhere'But :: GenericQ Bool -> GenericT -> GenericT -- Guarded to let traversal cease if predicate q holds for x everywhere'But q f x | q x = x - | otherwise = let top = gmapT f x in + | otherwise = let top = f x in top `seq` (gmapT (everywhere'But q f) top) everywhereButM :: Monad m => GenericQ Bool -> GenericM m -> GenericM m