<div dir="auto">Great.</div><br><div class="gmail_quote"><div dir="ltr">On Wed, Apr 25, 2018, 1:40 PM Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com">simonpj@microsoft.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div lang="EN-GB" link="blue" vlink="purple">
<div class="m_-1025744227942423374WordSection1">
<p class="MsoNormal"><span>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.<u></u><u></u></span></p>
<p class="MsoNormal"><span><u></u> <u></u></span></p>
<p class="MsoNormal"><span>Simon<u></u><u></u></span></p>
<p class="MsoNormal"><span><u></u> <u></u></span></p>
<div style="border:none;border-left:solid blue 1.5pt;padding:0cm 0cm 0cm 4.0pt">
<div>
<div style="border:none;border-top:solid #e1e1e1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US">From:</span></b><span lang="EN-US"> David Feuer <<a href="mailto:david.feuer@gmail.com" target="_blank" rel="noreferrer">david.feuer@gmail.com</a>>
<br>
<b>Sent:</b> 25 April 2018 18:38<br>
<b>To:</b> Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com" target="_blank" rel="noreferrer">simonpj@microsoft.com</a>><br>
<b>Cc:</b> Edward Kmett <<a href="mailto:ekmett@gmail.com" target="_blank" rel="noreferrer">ekmett@gmail.com</a>>; Andrew Martin <<a href="mailto:andrew.thaddeus@gmail.com" target="_blank" rel="noreferrer">andrew.thaddeus@gmail.com</a>>; <a href="mailto:core-libraries-committee@haskell.org" target="_blank" rel="noreferrer">core-libraries-committee@haskell.org</a>; Haskell Libraries <<a href="mailto:libraries@haskell.org" target="_blank" rel="noreferrer">libraries@haskell.org</a>>; <a href="mailto:ghc-devs@haskell.org" target="_blank" rel="noreferrer">ghc-devs@haskell.org</a><br>
<b>Subject:</b> Re: [core libraries] Re: Name for unary unboxed one-tuple<u></u><u></u></span></p>
</div>
</div>
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<p class="MsoNormal">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.<u></u><u></u></p>
</div>
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<div>
<p class="MsoNormal">On Wed, Apr 25, 2018, 1:34 PM Simon Peyton Jones via Libraries <<a href="mailto:libraries@haskell.org" target="_blank" rel="noreferrer">libraries@haskell.org</a>> wrote:<u></u><u></u></p>
</div>
<blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm">
<div>
<div>
<p class="MsoNormal">OK great, thanks. Solo# is it. Adding ghc-devs: would someone like to make a patch?<u></u><u></u></p>
<p class="MsoNormal"> <u></u><u></u></p>
<p class="MsoNormal">Simon<u></u><u></u></p>
<p class="MsoNormal"> <u></u><u></u></p>
<div style="border:none;border-left:solid blue 1.5pt;padding:0cm 0cm 0cm 4.0pt">
<div>
<div style="border:none;border-top:solid #e1e1e1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US">From:</span></b><span lang="EN-US"> Edward Kmett <<a href="mailto:ekmett@gmail.com" target="_blank" rel="noreferrer">ekmett@gmail.com</a>>
<br>
<b>Sent:</b> 25 April 2018 17:13<br>
<b>To:</b> Andrew Martin <<a href="mailto:andrew.thaddeus@gmail.com" target="_blank" rel="noreferrer">andrew.thaddeus@gmail.com</a>><br>
<b>Cc:</b> Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com" target="_blank" rel="noreferrer">simonpj@microsoft.com</a>>;
<a href="mailto:core-libraries-committee@haskell.org" target="_blank" rel="noreferrer">core-libraries-committee@haskell.org</a>; Haskell Libraries <<a href="mailto:libraries@haskell.org" target="_blank" rel="noreferrer">libraries@haskell.org</a>><br>
<b>Subject:</b> Re: [core libraries] Re: Name for unary unboxed one-tuple</span><u></u><u></u></p>
</div>
</div>
<p class="MsoNormal"> <u></u><u></u></p>
<div>
<p class="MsoNormal">Argh. Not another color for the bikeshed. We were so close to a nice universal consensus given your +1 on the thread. =)<u></u><u></u></p>
<div>
<p class="MsoNormal"> <u></u><u></u></p>
</div>
<div>
<p class="MsoNormal">Let's end this and just go with Simon's
<span style="font-family:"Times New Roman",serif">Solo#</span> as it had already achieved a reasonably wide consensus on the thread and we can put this to bed.<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"> <u></u><u></u></p>
</div>
<div>
<p class="MsoNormal">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.<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"> <u></u><u></u></p>
</div>
<div>
<p class="MsoNormal">-Edward<u></u><u></u></p>
</div>
</div>
<div>
<p class="MsoNormal"> <u></u><u></u></p>
<div>
<p class="MsoNormal">On Wed, Apr 25, 2018 at 8:40 AM, Andrew Martin <<a href="mailto:andrew.thaddeus@gmail.com" target="_blank" rel="noreferrer">andrew.thaddeus@gmail.com</a>> wrote:<u></u><u></u></p>
<blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-top:5.0pt;margin-right:0cm;margin-bottom:5.0pt">
<div>
<p class="MsoNormal">My vote is for Single/Single#.<u></u><u></u></p>
<div>
<p class="MsoNormal"> <u></u><u></u></p>
</div>
<div>
<p class="MsoNormal">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.<u></u><u></u></p>
<div>
<p class="MsoNormal"> <u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"> <u></u><u></u></p>
</div>
</div>
</div>
<div>
<p class="MsoNormal"> <u></u><u></u></p>
<div>
<p class="MsoNormal">On Wed, Apr 25, 2018 at 4:28 AM, Simon Peyton Jones via Libraries <<a href="mailto:libraries@haskell.org" target="_blank" rel="noreferrer">libraries@haskell.org</a>> wrote:<u></u><u></u></p>
<blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-top:5.0pt;margin-right:0cm;margin-bottom:5.0pt">
<div>
<div>
<p class="MsoNormal">Dear Libraries Committee<u></u><u></u></p>
<p class="MsoNormal">Some time ago
<a href="https://mail.haskell.org/pipermail/libraries/2018-January/028419.html" target="_blank" rel="noreferrer">
Andrew Martin asked you</a> 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.<u></u><u></u></p>
<p class="MsoNormal">Can we nail this one? You’ll see on
<a href="https://ghc.haskell.org/trac/ghc/ticket/14673#comment:19" target="_blank" rel="noreferrer">
Trac #14673</a> that chessai wants me to decide <span style="font-family:"Segoe UI Emoji",sans-serif">
😊</span>. But it should really be you.<u></u><u></u></p>
<p class="MsoNormal">To me, there seems to be something of a consensus around Solo#.<u></u><u></u></p>
<p class="MsoNormal"><span style="color:#888888">Simon</span><u></u><u></u></p>
<p class="MsoNormal">PS: actually I think Andrew may have addressed libraries@ rather than core-libraries-committee@ by mistake.<u></u><u></u></p>
</div>
</div>
<p class="MsoNormal" style="margin-bottom:12.0pt"><br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank" rel="noreferrer">Libraries@haskell.org</a><br>
<a href="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" target="_blank" rel="noreferrer">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><u></u><u></u></p>
</blockquote>
</div>
<p class="MsoNormal"><span style="color:#888888"><br>
<br clear="all">
</span><u></u><u></u></p>
<div>
<p class="MsoNormal"> <u></u><u></u></p>
</div>
<p class="MsoNormal"><span class="m_-1025744227942423374m-7176181391465833040hoenzb"><span style="color:#888888">--
</span></span><u></u><u></u></p>
<div>
<p class="MsoNormal"><span style="color:#888888">-Andrew Thaddeus Martin</span><u></u><u></u></p>
</div>
</div>
<div>
<div>
<p class="MsoNormal">--
<br>
You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group.<br>
To unsubscribe from this group and stop receiving emails from it, send an email to
<a href="mailto:haskell-core-libraries+unsubscribe@googlegroups.com" target="_blank" rel="noreferrer">
haskell-core-libraries+unsubscribe@googlegroups.com</a>.<br>
For more options, visit <a href="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" target="_blank" rel="noreferrer">
https://groups.google.com/d/optout</a>.<u></u><u></u></p>
</div>
</div>
</blockquote>
</div>
<p class="MsoNormal"> <u></u><u></u></p>
</div>
</div>
</div>
</div>
<p class="MsoNormal">_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank" rel="noreferrer">Libraries@haskell.org</a><br>
<a href="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" target="_blank" rel="noreferrer">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><u></u><u></u></p>
</blockquote>
</div>
</div>
</div>
</div>
</blockquote></div>