[core libraries] Re: Name for unary unboxed one-tuple

David Feuer david.feuer at gmail.com
Wed Apr 25 17:42:30 UTC 2018


Great.

On Wed, Apr 25, 2018, 1:40 PM Simon Peyton Jones <simonpj at microsoft.com>
wrote:

> 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 at gmail.com>
> *Sent:* 25 April 2018 18:38
> *To:* Simon Peyton Jones <simonpj at microsoft.com>
> *Cc:* Edward Kmett <ekmett at gmail.com>; Andrew Martin <
> andrew.thaddeus at gmail.com>; core-libraries-committee at haskell.org; Haskell
> Libraries <libraries at haskell.org>; ghc-devs at 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 at haskell.org> wrote:
>
> OK great, thanks.  Solo# is it.  Adding ghc-devs: would someone like to
> make a patch?
>
>
>
> Simon
>
>
>
> *From:* Edward Kmett <ekmett at gmail.com>
> *Sent:* 25 April 2018 17:13
> *To:* Andrew Martin <andrew.thaddeus at gmail.com>
> *Cc:* Simon Peyton Jones <simonpj at microsoft.com>;
> core-libraries-committee at haskell.org; Haskell Libraries <
> libraries at 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 at 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 at haskell.org> wrote:
>
> Dear Libraries Committee
>
> Some time ago Andrew Martin asked you
> <https://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 #14673
> <https://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 at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
> <https://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 at googlegroups.com.
> For more options, visit https://groups.google.com/d/optout
> <https://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 at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
> <https://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>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20180425/ea591080/attachment.html>


More information about the ghc-devs mailing list