Strange error in show for datatype
Marcin 'Qrczak' Kowalczyk
4 Oct 2001 09:23:10 GMT
Thu, 4 Oct 2001 00:36:55 -0700, Simon Peyton-Jones <firstname.lastname@example.org> 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 * email@example.com http://qrczak.ids.net.pl/
^^ SYGNATURA ZASTĘPCZA