summaryrefslogtreecommitdiff
path: root/libraries
diff options
context:
space:
mode:
authorsheaf <sam.derbyshire@gmail.com>2022-03-31 11:59:25 +0200
committerMarge Bot <ben+marge-bot@smart-cactus.org>2022-04-07 07:55:52 -0400
commit429ea5d9147a9d3bd2513b27a4064c1ca1be2090 (patch)
treeead29d6921d9432db2a88c424787adfcad40bd89 /libraries
parent88d610317a707eb33fe8f1a1a8ab6456279861f2 (diff)
downloadhaskell-429ea5d9147a9d3bd2513b27a4064c1ca1be2090.tar.gz
Remove Fun pattern from Typeable COMPLETE set
GHC merge request !963 improved warnings in the presence of COMPLETE annotations. This allows the removal of the Fun pattern from the complete set. Doing so expectedly causes some redundant pattern match warnings, in particular in GHC.Utils.Binary.Typeable and Data.Binary.Class from the binary library; this commit addresses that. Updates binary submodule Fixes #20230
Diffstat (limited to 'libraries')
-rw-r--r--libraries/base/Data/Typeable/Internal.hs5
m---------libraries/binary0
2 files changed, 2 insertions, 3 deletions
diff --git a/libraries/base/Data/Typeable/Internal.hs b/libraries/base/Data/Typeable/Internal.hs
index da786bd6d3..b1441fee84 100644
--- a/libraries/base/Data/Typeable/Internal.hs
+++ b/libraries/base/Data/Typeable/Internal.hs
@@ -572,9 +572,8 @@ pattern Con' :: forall k (a :: k). ()
=> TyCon -> [SomeTypeRep] -> TypeRep a
pattern Con' con ks <- (splitApp -> IsCon con ks)
--- TODO: Remove Fun when #14253 is fixed
-{-# COMPLETE Fun, App, Con #-}
-{-# COMPLETE Fun, App, Con' #-}
+{-# COMPLETE App, Con #-}
+{-# COMPLETE App, Con' #-}
{- Note [Con evidence]
~~~~~~~~~~~~~~~~~~~~~~
diff --git a/libraries/binary b/libraries/binary
-Subproject 55c8b3e0d2d30fee1c6b0a5c96b46c432e29e35
+Subproject 6af054b4431fa7c20bf6309536cfef7d47f2c17