Static data and RULES
david at well-typed.com
Thu Feb 16 22:38:56 UTC 2017
The vast majority would have no pragma, or at least wouldn't have an unphased NOINLINE pragma, so they would typically inline before demand analysis anyway.
David FeuerWell-Typed, LLP
-------- Original message --------From: Joachim Breitner <mail at joachim-breitner.de> Date: 2/16/17 5:20 PM (GMT-05:00) To: ghc-devs at haskell.org Subject: Re: Static data and RULES
Am Donnerstag, den 16.02.2017, 17:12 -0500 schrieb David Feuer:
> Strict constructor wrappers will all be allowed to inline after
> demand analysis and worker/wrapper. This matches the way we now
> handle wrappers actually created in that phase.
I am worried that DmdAnal will be less effective the code it sees does
not have the wrappers of strict constructors already inlines. It may be
that the strictness signature of the wrapper is sufficient to make up
for this, but I am not sure.
Joachim “nomeata” Breitner
mail at joachim-breitner.de • https://www.joachim-breitner.de/
XMPP: nomeata at joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F
Debian Developer: nomeata at debian.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs