Skip to content

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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information