Thu, 4 Oct 2001 14:29:43 +0100, Ross Paterson pisze:

So this extension adds something we already have in Haskell 98, with either

newtype Void = Void Void or data Void = Void !Void

Theoretically yes, but this introduces a warning that the data constructor Void is not used, and it doesn't look clear. -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTÊPCZA QRCZAK