Strange error in show for datatype

Marcin 'Qrczak' Kowalczyk qrczak@knm.org.pl
4 Oct 2001 09:23:10 GMT


Thu, 4 Oct 2001 00:36:55 -0700, Simon Peyton-Jones <simonpj@microsoft.com> pisze:

> Void was a type with one element.  What we really want here is
> a type with no elements.  It's also useful to be able to introduce
> such empty types for phantom-type purposes, so GHC now lets you say
> 
> 	data T
> 
> and get a type T with no values.

I think both Void and T have bottom, and both have no other values.

-- 
 __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK