diff options
| author | Ben Gamari <ben@well-typed.com> | 2019-09-24 17:29:36 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@well-typed.com> | 2019-09-26 11:48:28 -0400 |
| commit | 2ab5c4321f212c51497e42d14f772c380e530ea0 (patch) | |
| tree | 666df7d7215796e07cee270ad4caa00351707fc8 | |
| parent | 795986aaf33e2ffc233836b86a92a77366c91db2 (diff) | |
| download | haskell-wip/T17243.tar.gz | |
ghc-prim: Fix documentation of Typewip/T17243
As pointed out in #17243, `Type` is not the only kind
having values.
| -rw-r--r-- | libraries/ghc-prim/GHC/Types.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/ghc-prim/GHC/Types.hs b/libraries/ghc-prim/GHC/Types.hs index e60e011cf9..1cb3b6439d 100644 --- a/libraries/ghc-prim/GHC/Types.hs +++ b/libraries/ghc-prim/GHC/Types.hs @@ -56,7 +56,7 @@ infixr 5 : -- | The kind of constraints, like @Show a@ data Constraint --- | The kind of types with values. For example @Int :: Type@. +-- | The kind of types with lifted values. For example @Int :: Type@. type Type = TYPE 'LiftedRep {- ********************************************************************* |