8 Aug
2009
8 Aug
'09
5:09 p.m.
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<ross@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