Proposals and owners

Iavor Diatchki iavor.diatchki at gmail.com
Sat Aug 8 05:09:38 EDT 2009


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 at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-prime
>


More information about the Haskell-prime mailing list