[GHC] #10382: Template Haskell quotes should work with stage 1 compiler

GHC ghc-devs at haskell.org
Mon May 4 20:51:16 UTC 2015


#10382: Template Haskell quotes should work with stage 1 compiler
-------------------------------------+-------------------------------------
              Reporter:  ezyang      |             Owner:  ezyang
                  Type:  feature     |            Status:  new
  request                            |         Milestone:  7.12.1
              Priority:  normal      |           Version:  7.11
             Component:  Template    |  Operating System:  Unknown/Multiple
  Haskell                            |   Type of failure:  None/Unknown
              Keywords:              |        Blocked By:
          Architecture:              |   Related Tickets:
  Unknown/Multiple                   |
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------
 Right now, you must enable the `TemplateHaskell` extension to use quotes,
 and `TemplateHaskell` is not supported by the stage 1 compiler. But there
 actually is no good reason why this should be the case: quoting doesn't
 require any user-written code to be loaded up and run, so it should be
 doable by the stage 1 compiler. I propose adding a new extension,
 `Quotation`, which turns on JUST quotation and works with the stage 1
 compiler.

 This will solve len's problem https://github.com/ekmett/lens/issues/496
 where they want to rename some syntax using quotation, but don't want
 break compilation on a stage 1 compiler.

 See also #10279.

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


More information about the ghc-tickets mailing list