You mean can you say (# Int #) and (# x #). Yes, of course. They would presumably be synonymous with (Solo# Int) and (Solo# x). Just as (# Int, Bool #) is synonymous with (#,#) Int Bool etc.
Simon
From: David Feuer <david.feuer@gmail.com>
Sent: 25 April 2018 18:38
To: Simon Peyton Jones <simonpj@microsoft.com>
Cc: Edward Kmett <ekmett@gmail.com>; Andrew Martin <andrew.thaddeus@gmail.com>; core-libraries-committee@haskell.org; Haskell Libraries <libraries@haskell.org>; ghc-devs@haskell.org
Subject: Re: [core libraries] Re: Name for unary unboxed one-tuple
One question I don't remember seeing resolved. Will we still be able to use the old data constructor syntax and (fully applied) type constructor syntax? These are used a good bit in the wild.
On Wed, Apr 25, 2018, 1:34 PM Simon Peyton Jones via Libraries <libraries@haskell.org> wrote:
OK great, thanks. Solo# is it. Adding ghc-devs: would someone like to make a patch?
Simon
From: Edward Kmett <ekmett@gmail.com>
Sent: 25 April 2018 17:13
To: Andrew Martin <andrew.thaddeus@gmail.com>
Cc: Simon Peyton Jones <simonpj@microsoft.com>; core-libraries-committee@haskell.org; Haskell Libraries <libraries@haskell.org>
Subject: Re: [core libraries] Re: Name for unary unboxed one-tuple
Argh. Not another color for the bikeshed. We were so close to a nice universal consensus given your +1 on the thread. =)
Let's end this and just go with Simon's Solo# as it had already achieved a reasonably wide consensus on the thread and we can put this to bed.
Simon: I'd replied a couple of weeks ago on the trac ticket to try to end this, but apparently didn't visibly weigh in in a fashion that obviously carried the full force of the committee.
-Edward
On Wed, Apr 25, 2018 at 8:40 AM, Andrew Martin <andrew.thaddeus@gmail.com> wrote:
My vote is for Single/Single#.
Also, in case there is any confusion around this, I was not a member of the CLC when this issue was originally raised, but the committee has accepted me since then.
On Wed, Apr 25, 2018 at 4:28 AM, Simon Peyton Jones via Libraries <libraries@haskell.org> wrote:
Dear Libraries Committee
Some time ago Andrew Martin asked you what the name of the unary unboxed one-tuple type and data constructor should be. The thread ran for a while, but you never came to a conclusion.
Can we nail this one? You’ll see on Trac #14673 that chessai wants me to decide 😊. But it should really be you.
To me, there seems to be something of a consensus around Solo#.
Simon
PS: actually I think Andrew may have addressed libraries@ rather than core-libraries-committee@ by mistake.
_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
--
-Andrew Thaddeus Martin
--
You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group.
To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries