17 Dec
2013
17 Dec
'13
7:45 p.m.
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
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@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs