summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCary Robbins <carymrobbins@gmail.com>2020-08-07 10:23:29 -0500
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-09-17 08:50:30 -0400
commitb612e396ed1141dadfabc8486876abb713628f06 (patch)
tree5d514a6de2ea67790273b9b024f069e9c76fec4b
parent3c94c81629ac9159775b8b70baf2c635f0331708 (diff)
downloadhaskell-b612e396ed1141dadfabc8486876abb713628f06.tar.gz
Make the 'IsString (Const a b)' instance polykinded on 'b'
-rw-r--r--libraries/base/Data/String.hs4
1 files changed, 3 insertions, 1 deletions
diff --git a/libraries/base/Data/String.hs b/libraries/base/Data/String.hs
index a7295a2144..e091dab86f 100644
--- a/libraries/base/Data/String.hs
+++ b/libraries/base/Data/String.hs
@@ -1,6 +1,8 @@
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
+{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE Trustworthy #-}
{-# LANGUAGE TypeFamilies #-}
@@ -87,7 +89,7 @@ instance (a ~ Char) => IsString [a] where
fromString xs = xs
-- | @since 4.9.0.0
-deriving instance IsString a => IsString (Const a b)
+deriving instance IsString a => IsString (Const a (b :: k))
-- | @since 4.9.0.0
deriving instance IsString a => IsString (Identity a)