TickBoxOp(..), TickBoxId,
) where
-import CoreSyn
import Class
import PrimOp
import Name
setSpecInfoHead :: Name -> SpecInfo -> SpecInfo
setSpecInfoHead fn (SpecInfo rules fvs)
- = SpecInfo (map set_head rules) fvs
- where
- set_head rule = rule { ru_fn = fn }
+ = SpecInfo (map (setRuleIdName fn) rules) fvs
seqSpecInfo :: SpecInfo -> ()
seqSpecInfo (SpecInfo rules fvs) = seqRules rules `seq` seqVarSet fvs
zapFragileInfo info
= Just (info `setSpecInfo` emptySpecInfo
`setWorkerInfo` NoWorker
- `setUnfoldingInfo` NoUnfolding
+ `setUnfoldingInfo` noUnfolding
`setOccInfo` if isFragileOcc occ then NoOccInfo else occ)
where
occ = occInfo info