diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2015-11-27 13:39:18 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-11-29 13:22:14 +0100 |
| commit | 85fcd035f73679927a0539d5f6c9b919517365e1 (patch) | |
| tree | a7876675987aba3fa0262b003852599b79daaf05 /testsuite/tests/quotes/T10384.hs | |
| parent | 583867b907ddac8c2777e96a5ad8d600ba559569 (diff) | |
| download | haskell-85fcd035f73679927a0539d5f6c9b919517365e1.tar.gz | |
Implement new -XTemplateHaskellQuotes pragma
Since f16ddcee0c64a92ab911a7841a8cf64e3ac671fd / D876, `ghc-stage1`
supports a subset of `-XTemplateHaskell`, but since we need Cabal to be
able detect (so `.cabal` files can be specified accordingly, see also
GHC #11102 which omits `TemplateHaskell` from `--supported-extensions`)
whether GHC provides full or only partial `-XTemplateHaskell` support,
the proper way to accomplish this is to split off the
quotation/non-splicing `TemplateHaskell` feature-subset into a new
language pragma `TemplateHaskellQuotes`.
Moreover, `-XTemplateHaskellQuotes` is considered safe under SafeHaskell
This addresses #11121
Reviewers: goldfire, ezyang, dterei, austin, bgamari
Reviewed By: bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D1511
GHC Trac Issues: #11121
Diffstat (limited to 'testsuite/tests/quotes/T10384.hs')
| -rw-r--r-- | testsuite/tests/quotes/T10384.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/quotes/T10384.hs b/testsuite/tests/quotes/T10384.hs index 773deb061a..c4d9c70ffe 100644 --- a/testsuite/tests/quotes/T10384.hs +++ b/testsuite/tests/quotes/T10384.hs @@ -1,3 +1,3 @@ -{-# LANGUAGE TemplateHaskell, RankNTypes, ScopedTypeVariables #-} +{-# LANGUAGE TemplateHaskellQuotes, RankNTypes, ScopedTypeVariables #-} module A where x = \(y :: forall a. a -> a) -> [|| y ||] |