diff options
| author | Ross Paterson <R.Paterson@city.ac.uk> | 2022-09-25 15:33:25 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-09-27 14:12:01 -0400 |
| commit | 9b1595c87f0c2406bb340c5e27a4a45dfcde0e2c (patch) | |
| tree | 5058b79fa0484c7bb55bfc5515094dff50ae93b2 /libraries/ghc-boot-th/GHC | |
| parent | aeafdba5503b8d26a62dc7bc7078caef170d4154 (diff) | |
| download | haskell-9b1595c87f0c2406bb340c5e27a4a45dfcde0e2c.tar.gz | |
implement proposal 106 (Define Kinds Without Promotion) (fixes #6024)
includes corresponding changes to haddock submodule
Diffstat (limited to 'libraries/ghc-boot-th/GHC')
| -rw-r--r-- | libraries/ghc-boot-th/GHC/LanguageExtensions/Type.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libraries/ghc-boot-th/GHC/LanguageExtensions/Type.hs b/libraries/ghc-boot-th/GHC/LanguageExtensions/Type.hs index 0fd00b2c40..e0a1d7a2a5 100644 --- a/libraries/ghc-boot-th/GHC/LanguageExtensions/Type.hs +++ b/libraries/ghc-boot-th/GHC/LanguageExtensions/Type.hs @@ -73,6 +73,7 @@ data Extension | ConstraintKinds | PolyKinds -- Kind polymorphism | DataKinds -- Datatype promotion + | TypeData -- allow @type data@ definitions | InstanceSigs | ApplicativeDo | LinearTypes |