4 Oct
2001
4 Oct
'01
9:23 a.m.
Thu, 4 Oct 2001 00:36:55 -0700, Simon Peyton-Jones
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