Proposals and owners

Ross Paterson ross at soi.city.ac.uk
Sat Aug 8 05:24:20 EDT 2009


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.


More information about the Haskell-prime mailing list