From 85fcd035f73679927a0539d5f6c9b919517365e1 Mon Sep 17 00:00:00 2001 From: Herbert Valerio Riedel Date: Fri, 27 Nov 2015 13:39:18 +0100 Subject: 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 --- testsuite/tests/quotes/T10384.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'testsuite/tests/quotes/T10384.hs') 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 ||] -- cgit v1.2.1