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
Sent: 25 April 2018 18:38
To: Simon Peyton Jones
Cc: Edward Kmett ; Andrew Martin ; core-libraries-committee@haskell.org; Haskell Libraries ; 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 mailto:libraries@haskell.org> wrote:
OK great, thanks. Solo# is it. Adding ghc-devs: would someone like to make a patch?
Simon
From: Edward Kmett mailto:ekmett@gmail.com>
Sent: 25 April 2018 17:13
To: Andrew Martin mailto:andrew.thaddeus@gmail.com>
Cc: Simon Peyton Jones mailto:simonpj@microsoft.com>; core-libraries-committee@haskell.orgmailto:core-libraries-committee@haskell.org; Haskell Libraries mailto: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 mailto: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 mailto:libraries@haskell.org> wrote:
Dear Libraries Committee
Some time ago Andrew Martin asked youhttps://mail.haskell.org/pipermail/libraries/2018-January/028419.html 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 #14673https://ghc.haskell.org/trac/ghc/ticket/14673#comment:19 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.orgmailto:Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/librarieshttps://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Flibraries&data=02%7C01%7Csimonpj%40microsoft.com%7C4ff70a93792c4364cfb208d5aac767fa%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636602695779635893&sdata=02JPqT7mjKCaf76e2kBcaZfWhKjGfz2sA0ys%2BCMCztg%3D&reserved=0
--
-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.commailto:haskell-core-libraries+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optouthttps://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Foptout&data=02%7C01%7Csimonpj%40microsoft.com%7C4ff70a93792c4364cfb208d5aac767fa%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636602695779635893&sdata=IyzanRPCyTGwq9ZOdETPkRMGIKOeqNEBUxbuK6Jbi4I%3D&reserved=0.
_______________________________________________
Libraries mailing list
Libraries@haskell.orgmailto:Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/librarieshttps://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Flibraries&data=02%7C01%7Csimonpj%40microsoft.com%7C70778e0681514285830208d5aad34b5a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636602746839057686&sdata=8Hm7f5OcEjlZ81akbKmmuyrZyq2UBv%2BdPe2d%2BCGjz3E%3D&reserved=0
