Renaming Void#

Krzysztof Gogolewski krz.gogolewski at gmail.com
Tue Dec 17 18:28:14 UTC 2013


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20131217/a0d754eb/attachment.html>


More information about the ghc-devs mailing list