Template Haskell (non-quasi) quotes should work with stage 1 compiler
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 (closed).
Edited by Edward Z. Yang