defunctionalization

Nicolas Frisby nicolas.frisby at gmail.com
Tue Jul 16 22:22:14 CEST 2013


I'd like to put a NOINLINE and an INLINABLE pragma on a binding.

(I'm sketching a defunctionalization pass. I'd like the 'apply` routine RHS
to make it into the interface file, but I do not want it to be inlined,
since that'd undo the defunctionalization.)

In other words, I'd like a CoreUnfolding value with the uf_guidance =
UnfNever.

It seems TidyPgm.addExternal ignores such a core unfolding.

Would GHC consider a patch to make this work?

Thanks.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20130716/a3f30965/attachment.htm>


More information about the ghc-devs mailing list