
8 Aug
2009
8 Aug
'09
5:09 a.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
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