Re: Proposals and owners

On Sat, Aug 08, 2009 at 10:09:38AM +0100, Iavor Diatchki wrote:

I thought that the intended semantics was supposed to be that the only element is bottom (hence the proposal to add a related empty case construct)?

If that were the case, a compiler could legitimately discard any value of such a type, because it could be easily reconstructed. I don't think that is what is intended.