#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