#10382: Template Haskell quotes should work with stage 1 compiler -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Template Haskell | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D876 -------------------------------------+------------------------------------- Comment (by ezyang): To be clear, I am NOT suggesting quasi-quotes be supported by this; just plain old brackets! (Apologies for the bad names; perhaps "expression quotation" is a more accurate name?) With plain quotes, we don't have to find and link `qq` with this complexity. See the diff that's been attached, which I know works and is not all that complicated. Whether or not the change is parochial, I think it relates to more than just GHC; it applies to any platform where we can compile GHC, but dynamic code loading is not supported (i.e. no GHCi support). Now, you might wonder, "why would anyone need to use TH quotes, without any TH splices?" but Edward Kmett gives an example of one such case, where he wants to put his TH library code (no splices) in a main library, while still supporting platforms without GHCi, without macroing the business. Unusual? Maybe. But someone wants it, and it doesn't seem too hard to give them, so let's do it! If we don't like the language extension, we could alternate make `TemplateHaskell` not immediately error on stage 1 compilation, and just error when we actually reach a splice site. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10382#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler