Commit 419af69c authored by Simon Peyton Jones's avatar Simon Peyton Jones

Give PrimOps a NOINLINE pragma, to suppress silly warnings from dsRule

See Trac #7287
parent a501c950
...@@ -751,9 +751,14 @@ mkPrimOpId prim_op ...@@ -751,9 +751,14 @@ mkPrimOpId prim_op
id = mkGlobalId (PrimOpId prim_op) name ty info id = mkGlobalId (PrimOpId prim_op) name ty info
info = noCafIdInfo info = noCafIdInfo
`setSpecInfo` mkSpecInfo (maybeToList $ primOpRules name prim_op) `setSpecInfo` mkSpecInfo (maybeToList $ primOpRules name prim_op)
`setArityInfo` arity `setArityInfo` arity
`setStrictnessInfo` Just strict_sig `setStrictnessInfo` Just strict_sig
`setInlinePragInfo` neverInlinePragma
-- We give PrimOps a NOINLINE pragma so that we don't
-- get silly warnings from Desugar.dsRule (the inline_shadows_rule
-- test) about a RULE conflicting with a possible inlining
-- cf Trac #7287
-- For each ccall we manufacture a separate CCallOpId, giving it -- For each ccall we manufacture a separate CCallOpId, giving it
-- a fresh unique, a type that is correct for this particular ccall, -- a fresh unique, a type that is correct for this particular ccall,
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment