Maybe Monoid doc: "is no semigroup" -> "used to be no semigroup"
authorChris Martin <ch.martin@gmail.com>
Mon, 13 Mar 2017 19:18:33 +0000 (15:18 -0400)
committerBen Gamari <ben@smart-cactus.org>
Mon, 13 Mar 2017 19:18:38 +0000 (15:18 -0400)
Reviewers: austin, hvr, bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie

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

libraries/base/GHC/Base.hs

index 8548da6..3c3dbd3 100644 (file)
@@ -317,8 +317,8 @@ instance Monoid Ordering where
 -- <http://en.wikipedia.org/wiki/Monoid>: \"Any semigroup @S@ may be
 -- turned into a monoid simply by adjoining an element @e@ not in @S@
 -- and defining @e*e = e@ and @e*s = s = s*e@ for all @s ∈ S@.\" Since
--- there is no \"Semigroup\" typeclass providing just 'mappend', we
--- use 'Monoid' instead.
+-- there used to be no \"Semigroup\" typeclass providing just 'mappend',
+-- we use 'Monoid' instead.
 --
 -- @since 2.01
 instance Monoid a => Monoid (Maybe a) where