\begin{code}
zapFragileInfo :: IdInfo -> Maybe IdInfo
+-- Zap info that depends on free variables
zapFragileInfo info = Just (info `setSpecInfo` emptySpecInfo
+ `setWorkerInfo` NoWorker
`setUnfoldingInfo` NoUnfolding)
\end{code}
type TickBoxId = Int
data TickBoxOp
- = TickBox Module !TickBoxId -- ^Tick box for Hpc-style coverage,
- -- type = State# Void#
- | BinaryTickBox Module !TickBoxId !TickBoxId
- -- ^Binary tick box, with a tick for result = True, result = False,
- -- type = Bool -> Bool
+ = TickBox Module {-# UNPACK #-} !TickBoxId
+ -- ^Tick box for Hpc-style coverage
+
instance Outputable TickBoxOp where
ppr (TickBox mod n) = ptext SLIT("tick") <+> ppr (mod,n)
- ppr (BinaryTickBox mod t f) = ptext SLIT("btick") <+> ppr (mod,t,f)
\end{code}