From a5fdd185188fcda595fd712f90864ec7c20cdace Mon Sep 17 00:00:00 2001 From: Vladislav Zavialov Date: Thu, 9 May 2019 01:53:26 +0300 Subject: Guard CUSKs behind a language pragma GHC Proposal #36 describes a transition plan away from CUSKs and to top-level kind signatures: 1. Introduce a new extension, -XCUSKs, on by default, that detects CUSKs as they currently exist. 2. We turn off the -XCUSKs extension in a few releases and remove it sometime thereafter. This patch implements phase 1 of this plan, introducing a new language extension to control whether CUSKs are enabled. When top-level kind signatures are implemented, we can transition to phase 2. --- libraries/ghc-boot-th/GHC/LanguageExtensions/Type.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'libraries/ghc-boot-th') diff --git a/libraries/ghc-boot-th/GHC/LanguageExtensions/Type.hs b/libraries/ghc-boot-th/GHC/LanguageExtensions/Type.hs index 565187be59..ac47e165ff 100644 --- a/libraries/ghc-boot-th/GHC/LanguageExtensions/Type.hs +++ b/libraries/ghc-boot-th/GHC/LanguageExtensions/Type.hs @@ -140,4 +140,5 @@ data Extension | QuantifiedConstraints | StarIsType | ImportQualifiedPost + | CUSKs deriving (Eq, Enum, Show, Generic, Bounded) -- cgit v1.2.1