Re: Functions in programming

There is one problem, of course: Haskell does not think this is legal as it thinks all datatypes should have at least one constructor.

This works for me in Hugs: data Void foo :: Void -> () foo _ = () foo undefined = () Although it uses laziness and the fact that undefined is a member of every type. (Apologies Robin; I forgot to reply to the list!) -Nathan Bloomfield, Arkansas