diff options
Diffstat (limited to 'libraries')
-rw-r--r-- | libraries/ghc-boot-th/GHC/LanguageExtensions/Type.hs | 1 | ||||
-rw-r--r-- | libraries/ghc-prim/GHC/Types.hs | 3 |
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 |