This now becomes possible due to the introduction of the
Semigroup=>Monoid superclass relation.
Details
Details
Harbormaster
Diff Detail
Diff Detail
- Repository
- rGHC Glasgow Haskell Compiler
- Lint
Automatic diff as part of commit; lint not applicable. - Unit
Automatic diff as part of commit; unit tests not applicable.
Comment Actions
Make sure to update the changelog!
libraries/base/GHC/Base.hs | ||
---|---|---|
416–419 | I find this "prior to base-4.9.0" qualification to be more confusing than anything. Just leave that sentence off. |
libraries/base/GHC/Base.hs | ||
---|---|---|
416–419 | To be clear, I think you should leave off the entirety of the sentence "Since there used to be no 'Semigroup' typeclass providing just '<>' we use 'Monoid' instead." It's needlessly dwelling on the past—especially since the subsequent paragraph makes sufficient note of the fact that its context changed recently. |