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
<m...@joachim-breitner.de> Date: 2/16/17 5:20 PM (GMT-05:00) To:
ghc-devs@haskell.org Subject: Re: Static data and RULES
Hi,
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.
Greetings,
Joachim
--
Joachim “nomeata” Breitner
m...@joachim-breitner.de • https://www.joachim-breitner.de/
XMPP: nome...@joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F
Debian Developer: nome...@debian.org
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
