[GHC] #5463: SPECIALISE pragmas generated from Template Haskell are ignored

[GHC]

#5463: SPECIALISE pragmas generated from Template Haskell are ignored
-------------------------------------+-------------------------------------
        Reporter:  NickSmallbone     |                   Owner:
            Type:  bug               |                  Status:  new
        Priority:  normal            |               Milestone:
       Component:  Template Haskell  |                 Version:  7.2.1
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  Runtime           |  Unknown/Multiple
  performance bug                    |               Test Case:
      Blocked By:                    |                Blocking:
 Related Tickets:  #10047            |  Differential Revisions:
-------------------------------------+-------------------------------------
Changes (by goldfire):

 * related:   => #10047


Comment:

 Ticket #10047 discusses the annoyance of GHC's current behavior around
 top-level splices. One possible conclusion to that ticket suggests that a
 top-level quasiquote would indeed be spliced in before type-checking any
 declarations. This means both that the `SPECIALISE` pragma would work but
 also that the name of the function to specialise would be out of scope. At
 least under this scenario, the location of the splice wouldn't matter.

 I still don't know what to suggest to really fix this, however.

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