Re: Proposal: Add singleton function to Data.List module

On Wed, Aug 14, 2019 at 08:34:43PM +0100, Oliver Charles wrote:

I'd also be interested in a kind of "reverse" argument - *if* we had this added, what are the costs? There are arguments of "no, pure/robot ninja is enough" - fine, we're not taking those away so you aren't required to use singleton But what is the *downside* of having singleton?

I slightly prefer `singleton` myself; adding it to `Data.List` *will* break some code though (Ambiguous occurrence ‘singleton’ etc etc. when you import, say, Data.Map unqualified). On Wed, Aug 14, 2019 at 09:36:37PM +0200, Sven Panne wrote:

Am Mi., 14. Aug. 2019 um 19:37 Uhr schrieb Matt :

...

There have been 19 votes cast so far. We have twelve +1 votes.

-1 from me, so we have 7 -1s now. >:-) BTW: Simply counting a tiny amount of votes in a niche mailing list is not the best way to design APIs IMHO.

Amen, let CLC reach consensus!