
14 Aug
2011
14 Aug
'11
1:45 p.m.
On 14 August 2011 23:43, Yitzchak Gale
Johan Tibell wrote:
This is a call for consensus. Do we agree to add infixr 6 <> (<>) :: Monoid m => m -> m -> m (<>) = mappend
If so I have a patch for base and GHC ready.
NO please don't do that. It would break all packages that do, or soon will, use the semigroups package.
That proposal is no longer relevant. Every Monoid instance should now be made an instance of Semigroup. Anyone who wants to use <> should import it from there.
Which would require that pretty depends on semigroup and thus semigroup becomes a boot library, does it not? -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com