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<r...@soi.city.ac.uk> 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 > Haskell-prime@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-prime > _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
