summaryrefslogtreecommitdiff
path: root/libraries
diff options
context:
space:
mode:
Diffstat (limited to 'libraries')
-rw-r--r--libraries/ghc-boot-th/GHC/LanguageExtensions/Type.hs1
-rw-r--r--libraries/ghc-prim/GHC/Types.hs3
2 files changed, 3 insertions, 1 deletions
diff --git a/libraries/ghc-boot-th/GHC/LanguageExtensions/Type.hs b/libraries/ghc-boot-th/GHC/LanguageExtensions/Type.hs
index b75977c74c..8dc2b67a36 100644
--- a/libraries/ghc-boot-th/GHC/LanguageExtensions/Type.hs
+++ b/libraries/ghc-boot-th/GHC/LanguageExtensions/Type.hs
@@ -51,6 +51,7 @@ data Extension
| UnboxedTuples
| UnboxedSums
| UnliftedNewtypes
+ | UnliftedDatatypes
| BangPatterns
| TypeFamilies
| TypeFamilyDependencies
diff --git a/libraries/ghc-prim/GHC/Types.hs b/libraries/ghc-prim/GHC/Types.hs
index 59edeec8af..7ce559739f 100644
--- a/libraries/ghc-prim/GHC/Types.hs
+++ b/libraries/ghc-prim/GHC/Types.hs
@@ -96,7 +96,8 @@ type UnliftedRep = 'BoxedRep 'Unlifted
-- | The kind of types with lifted values. For example @Int :: Type@.
type Type = TYPE LiftedRep
--- | The kind of types with unlifted values. For example @Int# :: UnliftedType@.
+-- | The kind of boxed, unlifted values, for example @Array#@ or a user-defined
+-- unlifted data type, using @-XUnliftedDataTypes@.
type UnliftedType = TYPE UnliftedRep
data Multiplicity = Many | One