Renaming Void#

[José Pedro Magalhães]

+1


On Tue, Dec 17, 2013 at 7:33 PM, Edward Kmett <ekmett at gmail.com> wrote:

> The change makes sense to me. Others?
>
>
> On Tue, Dec 17, 2013 at 1:28 PM, Krzysztof Gogolewski <
> krz.gogolewski at gmail.com> wrote:
>
>> 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
>> http://www.haskell.org/mailman/listinfo/ghc-devs
>>
>>
>
> _______________________________________________
> ghc-devs mailing list
> 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/20131218/f2dd3c96/attachment.html>