[GHC] #12463: SPECIALIZABLE pragma?

[GHC]

#12463: SPECIALIZABLE pragma?
-------------------------------------+-------------------------------------
        Reporter:  bgamari           |                Owner:
            Type:  feature request   |               Status:  new
        Priority:  low               |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:  Inlining
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 I think you are describing what INLINEABLE already does, although I agree
 that SPECIALISABLE would be a less confusing name (or synoynym).

 INLINEABLE:

 * Keeps a copy of the original (desugared) source code for the function.
 * If it has any type-class overloading in its type, it specialises the
 function in every module where it is called, at the types at which it is
 called.  This works even if the function is recursive.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12463#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler