[GHC] #10382: Template Haskell (non-quasi) quotes should work with stage 1 compiler (was: Template Haskell quotes should work with stage 1 compiler)

[GHC]

#10382: Template Haskell (non-quasi) 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
-------------------------------------+-------------------------------------
Description changed by ezyang:

Old description:

> 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,
> `Quotes`, 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.

New description:

 Right now, you must enable the `TemplateHaskell` extension to use (non-
 quasi) quotes, and `TemplateHaskell` is not supported by the stage 1
 compiler. But there actually is no good reason why this should be the
 case: (non-quasi) 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, `Quotes`, which turns on JUST quotation
 (NOT quasiquoting) 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#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler