Drop custom mapM impl for []
authorBen Gamari <bgamari.foss@gmail.com>
Wed, 5 Aug 2015 12:21:47 +0000 (14:21 +0200)
committerBen Gamari <ben@smart-cactus.org>
Wed, 5 Aug 2015 12:45:16 +0000 (14:45 +0200)
See https://mail.haskell.org/pipermail/libraries/2015-May/025708.html
for motivation.

This fixes #10457

Test Plan: Validate

Reviewers: hvr, austin

Subscribers: simonmar, thomie, dolio

Differential Revision: https://phabricator.haskell.org/D1124

GHC Trac Issues: #10457

libraries/base/Data/Traversable.hs

index 1d3ef93..535db00 100644 (file)
@@ -56,7 +56,6 @@ import Data.Proxy ( Proxy(..) )
 import GHC.Arr
 import GHC.Base ( Applicative(..), Monad(..), Monoid, Maybe(..),
                   ($), (.), id, flip )
-import qualified GHC.Base as Monad ( mapM )
 import qualified GHC.List as List ( foldr )
 
 -- | Functors representing data structures that can be traversed from
@@ -180,8 +179,6 @@ instance Traversable [] where
     traverse f = List.foldr cons_f (pure [])
       where cons_f x ys = (:) <$> f x <*> ys
 
-    mapM = Monad.mapM
-
 instance Traversable (Either a) where
     traverse _ (Left x) = pure (Left x)
     traverse f (Right y) = Right <$> f y