#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