projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 757d3c5) | patch
Don't do SpecConstr on NOINLINE things (Trac #4064)
authorsimonpj@microsoft.com <unknown>
Tue, 25 May 2010 11:28:07 +0000 (11:28 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 25 May 2010 11:28:07 +0000 (11:28 +0000)
commitf03b9562a92c6ef94c603a334d5d5e1cd2165c92
tree9e70887c99d3f64790f6106f043b921260a36e21tree | snapshot
parent757d3c5aa87ff18c0cd8a27870ffc5d7836338edcommit | diff
Don't do SpecConstr on NOINLINE things (Trac #4064)

Since the RULE from specialising gets the same Activation as
the inlining for the Id itself there's no point in specialising
a NOINLINE thing, because the rule will be permanently switched
off.

See Note [Transfer activation] in SpecConstr
and Note [Auto-specialisation and RULES] in Specialise.
compiler/specialise/SpecConstr.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)