Implement -fexpose-all-unfoldings, and fix a non-termination bug

[ghc-hetmet.git] / compiler / basicTypes / IdInfo.lhs

diff --git a/compiler/basicTypes/IdInfo.lhs b/compiler/basicTypes/IdInfo.lhs
index 9446f7d..9b74a48 100644 (file)
--- a/compiler/basicTypes/IdInfo.lhs
+++ b/compiler/basicTypes/IdInfo.lhs
@@ -58,7 +58,7 @@ module IdInfo (
 
        -- ** The OccInfo type
        OccInfo(..),
-       isFragileOcc, isDeadOcc, isLoopBreaker,
+       isDeadOcc, isLoopBreaker,
        occInfo, setOccInfo,
 
        InsideLam, OneBranch,
@@ -723,7 +723,7 @@ zapFragileInfo :: IdInfo -> Maybe IdInfo
 zapFragileInfo info 
   = Just (info `setSpecInfo` emptySpecInfo
                `setUnfoldingInfo` noUnfolding
-              `setOccInfo` if isFragileOcc occ then NoOccInfo else occ)
+              `setOccInfo` zapFragileOcc occ)
   where
     occ = occInfo info
 \end{code}