<div dir="ltr">That doesn't seem to be saying anything motivating the choice of name, just motivates the existence of some nullary unboxed type.<div><br></div><div>-Edward</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">
On Tue, Dec 17, 2013 at 2:45 PM, Roman Cheplyaka <span dir="ltr"><<a href="mailto:roma@ro-che.info" target="_blank">roma@ro-che.info</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Have you read the Note [Nullary unboxed tuple] in compiler/types/Type.lhs?<br>
I think it addresses this, although I'm not going to pretend I<br>
understand what's going on there.<br>
<br>
Roman<br>
<br>
* Krzysztof Gogolewski <<a href="mailto:krz.gogolewski@gmail.com">krz.gogolewski@gmail.com</a>> [2013-12-17 19:28:14+0100]<br>
<div class="HOEnZb"><div class="h5">> Hello,<br>
><br>
> Small bikeshedding: I propose to rename recently added Void# (in GHC.Prim)<br>
> to Unit#, and void# to unit#. As far as I understand, this type is the<br>
> unboxed equivalent of () (i.e. single-element type) rather than Void (i.e.<br>
> empty type). The name Void# might be reserved for a type which has<br>
> completely no inhabitants. Any comments?<br>
><br>
> KG<br>
<br>
</div></div><div class="HOEnZb"><div class="h5">> _______________________________________________<br>
> ghc-devs mailing list<br>
> <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
> <a href="http://www.haskell.org/mailman/listinfo/ghc-devs" target="_blank">http://www.haskell.org/mailman/listinfo/ghc-devs</a><br>
<br>
</div></div><br>_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/ghc-devs" target="_blank">http://www.haskell.org/mailman/listinfo/ghc-devs</a><br>
<br></blockquote></div><br></div>