new pragma name ideas? (was: defunctionalization)

[Nicolas Frisby]

On Thu, Jul 18, 2013 at 5:10 PM, Carter Schonwald <
carter.schonwald at gmail.com> wrote:

> So the idea here to make it possible to have a function that can be
> specialized at certain types, and  explicitly inlined at specific use
> sites, but ghc otherwise will not inline it? Cool!
>
> one thought: might it be simpler to instead have something like
> EXPLICIT-INLINABLE, rather that requiring the juxtaposition of two pragmas
> which "seem" contradictory?
>

I like that idea. How about SPECIALISABLE? This is a nod to the possibility
that GHC might someday automatically specialize an imported function.

Or EXPOSE? Or EXTERNAL? Bikeshed activate!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20130718/86566f30/attachment.htm>