TickBoxOp(..), TickBoxId,
) where
-import {-# SOURCE #-} CoreSyn ( CoreRule, setRuleIdName, seqRules, Unfolding, noUnfolding )
+import CoreSyn ( CoreRule, setRuleIdName, seqRules, Unfolding, noUnfolding )
import Class
import PrimOp
\begin{code}
-- | If this Id has a worker then we store a reference to it. Worker
--- functions are generated by the worker/wrapper pass, using information
+-- functions are generated by the worker\/wrapper pass, using information
-- information from strictness analysis.
data WorkerInfo = NoWorker -- ^ No known worker function
| HasWorker Id Arity -- ^ The 'Arity' is the arity of the /wrapper/ at the moment of the
- -- worker/wrapper split, which may be different from the current 'Id' 'Aritiy'
+ -- worker\/wrapper split, which may be different from the current 'Id' 'Aritiy'
seqWorker :: WorkerInfo -> ()
seqWorker (HasWorker id a) = id `seq` a `seq` ()
| ReturnsCPR -- ^ Yes, this function returns a constructed product
-- Implicitly, this means "after the function has been applied
- -- to all its arguments", so the worker/wrapper builder in
+ -- to all its arguments", so the worker\/wrapper builder in
-- WwLib.mkWWcpr checks that that it is indeed saturated before
-- making use of the CPR info