Renaming Void#

[Simon Peyton-Jones]

I’d be ok with making this change.

If you do, it’d be worth searching for “void” in comments in GHC’s source code, and updating them appropriately.

Simon

From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Edward Kmett
Sent: 17 December 2013 20:04
To: Roman Cheplyaka
Cc: ghc-devs
Subject: Re: Renaming Void#

That doesn't seem to be saying anything motivating the choice of name, just motivates the existence of some nullary unboxed type.

-Edward

On Tue, Dec 17, 2013 at 2:45 PM, Roman Cheplyaka <roma at ro-che.info<mailto:roma at ro-che.info>> wrote:
Have you read the Note [Nullary unboxed tuple] in compiler/types/Type.lhs?
I think it addresses this, although I'm not going to pretend I
understand what's going on there.

Roman

* Krzysztof Gogolewski <krz.gogolewski at gmail.com<mailto:krz.gogolewski at gmail.com>> [2013-12-17 19:28:14+0100]
> Hello,
>
> Small bikeshedding: I propose to rename recently added Void# (in GHC.Prim)
> to Unit#, and void# to unit#. As far as I understand, this type is the
> unboxed equivalent of () (i.e. single-element type) rather than Void (i.e.
> empty type). The name Void# might be reserved for a type which has
> completely no inhabitants. Any comments?
>
> KG
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org<mailto:ghc-devs at haskell.org>
> http://www.haskell.org/mailman/listinfo/ghc-devs

_______________________________________________
ghc-devs mailing list
ghc-devs at haskell.org<mailto:ghc-devs at haskell.org>
http://www.haskell.org/mailman/listinfo/ghc-devs

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20131230/b21e5c50/attachment.html>