From 419af69c1bea2cecce7b4bf58162cbfac81526f2 Mon Sep 17 00:00:00 2001
From: Simon Peyton Jones <simonpj@microsoft.com>
Date: Tue, 2 Oct 2012 17:39:46 +0100
Subject: [PATCH] Give PrimOps a NOINLINE pragma, to suppress silly warnings
from dsRule
See Trac #7287
---
compiler/basicTypes/MkId.lhs | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/compiler/basicTypes/MkId.lhs b/compiler/basicTypes/MkId.lhs
index 1805ccd25ee0..24c40ccdfdf2 100644
--- a/compiler/basicTypes/MkId.lhs
+++ b/compiler/basicTypes/MkId.lhs
@@ -751,9 +751,14 @@ mkPrimOpId prim_op
id = mkGlobalId (PrimOpId prim_op) name ty info
info = noCafIdInfo
- `setSpecInfo` mkSpecInfo (maybeToList $ primOpRules name prim_op)
- `setArityInfo` arity
+ `setSpecInfo` mkSpecInfo (maybeToList $ primOpRules name prim_op)
+ `setArityInfo` arity
`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
-- a fresh unique, a type that is correct for this particular ccall,
--
GitLab