mkDataConIds,
mkRecordSelId,
- mkPrimOpId, mkFCallId,
+ mkPrimOpId, mkFCallId, mkTickBoxOpId, mkBinaryTickBoxOpId,
mkReboxingAlt, wrapNewTypeBody, unwrapNewTypeBody,
mkUnpackCase, mkProductBox,
import Outputable
import FastString
import ListSetOps
+import Module
\end{code}
%************************************************************************
-- even if arity = 0
wkr_sig = mkStrictSig (mkTopDmdType (replicate wkr_arity topDmd) cpr_info)
+ -- Note [Data-con worker strictness]
-- Notice that we do *not* say the worker is strict
-- even if the data constructor is declared strict
-- e.g. data T = MkT !(Int,Int)
(arg_tys, _) = tcSplitFunTys tau
arity = length arg_tys
strict_sig = mkStrictSig (mkTopDmdType (replicate arity evalDmd) TopRes)
+
+mkTickBoxOpId :: Unique
+ -> Module
+ -> TickBoxId
+ -> Id
+mkTickBoxOpId uniq mod ix = mkGlobalId (TickBoxOpId tickbox) name ty info
+ where
+ tickbox = TickBox mod ix
+ occ_str = showSDoc (braces (ppr tickbox))
+ name = mkTickBoxOpName uniq occ_str
+ info = noCafIdInfo
+ ty = realWorldStatePrimTy
+
+mkBinaryTickBoxOpId
+ :: Unique
+ -> Module
+ -> TickBoxId
+ -> TickBoxId
+ -> Id
+mkBinaryTickBoxOpId uniq mod ixT ixF = mkGlobalId (TickBoxOpId tickbox) name ty info
+ where
+ tickbox = BinaryTickBox mod ixT ixF
+ occ_str = showSDoc (braces (ppr tickbox))
+ name = mkTickBoxOpName uniq occ_str
+ info = noCafIdInfo
+ `setArityInfo` arity
+ `setAllStrictnessInfo` Just strict_sig
+ ty = mkFunTy boolTy boolTy
+
+ arity = 1
+ strict_sig = mkStrictSig (mkTopDmdType (replicate arity evalDmd) TopRes)
+ --- ?? mkStrictSig (mkTopDmdType [seqDmd] TopRes)
\end{code}