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)?
On Thu, Aug 6, 2009 at 3:49 PM, Ross Paterson<[email protected]> wrote: > On Wed, Jul 29, 2009 at 02:34:26PM -0400, Stephanie Weirich wrote: >> Ok, I've put together a page on EmptyDataDecls: >> >> http://hackage.haskell.org/trac/haskell-prime/wiki/EmptyDataDecls > > I think this needs a sentence about semantics, to the effect that the > type is abstract. (Not that its only element is bottom.) > _______________________________________________ > Haskell-prime mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-prime > _______________________________________________ Haskell-prime mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-prime
