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