diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-05-09 15:49:07 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-05-25 09:48:17 -0400 |
| commit | 013d71204be44d660f01f8eb255db2d48b832421 (patch) | |
| tree | 21ec9f79ef846bfa120471999b9fc47f7a6a9f17 /libraries/base/Data/Functor/Const.hs | |
| parent | cd339ef0e8ce940902df79ed1d93b3af50ea6f77 (diff) | |
| download | haskell-013d71204be44d660f01f8eb255db2d48b832421.tar.gz | |
Revert "Specify kind variables for inferred kinds in base."
As noted in !3132, this has rather severe knock-on consequences in
user-code. We'll need to revisit this before merging something along
these lines.
This reverts commit 9749fe1223d182b1f8e7e4f7378df661c509f396.
Diffstat (limited to 'libraries/base/Data/Functor/Const.hs')
| -rw-r--r-- | libraries/base/Data/Functor/Const.hs | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/libraries/base/Data/Functor/Const.hs b/libraries/base/Data/Functor/Const.hs index dd1880e30b..651041f15b 100644 --- a/libraries/base/Data/Functor/Const.hs +++ b/libraries/base/Data/Functor/Const.hs @@ -2,9 +2,7 @@ {-# LANGUAGE GeneralizedNewtypeDeriving #-} {-# LANGUAGE NoImplicitPrelude #-} {-# LANGUAGE PolyKinds #-} -{-# LANGUAGE RankNTypes #-} {-# LANGUAGE ScopedTypeVariables #-} -{-# LANGUAGE StandaloneKindSignatures #-} {-# LANGUAGE Trustworthy #-} ----------------------------------------------------------------------------- @@ -38,9 +36,6 @@ import GHC.Read (Read(readsPrec), readParen, lex) import GHC.Show (Show(showsPrec), showParen, showString) -- | The 'Const' functor. --- --- Kind `k` explicitly quantified since 4.15.0.0. -type Const :: forall k. Type -> k -> Type newtype Const a b = Const { getConst :: a } deriving ( Bits -- ^ @since 4.9.0.0 , Bounded -- ^ @since 4.9.0.0 |