Empty Datatypes

Ashley Yakeley ashley@semantic.org
Thu, 4 Oct 2001 00:45:26 -0700


At 2001-10-04 00:36, Simon Peyton-Jones wrote:

>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.

Yay! One more thing to cross off my [GHC] Haskell wish-list.

Is this working in 5.02? It isn't in 5.00.2.

-- 
Ashley Yakeley, Seattle WA