The preprocessor tool of Noel Winstanley and my suggestion are actually
two orthogonal issues.


My suggestion is to separate `deriving' from `newtype' and `data'.

Noel's preprocessor allows the derivation of classes besides Eq, Ord,
Enum, Bounded, Show, and Read. 


The first requires a small change of the Haskell language,
the later makes Haskell programs dependent on this preprocessor.

In my opinion the later raises the question, if `deriving' should no
longer be a normal Haskell construct but always be treated by a
preprocessor. This should however be discussed when Noel has released
his preprocessor and some experience with its use has been gained.


Olaf

-- 
OLAF CHITIL, Lehrstuhl fuer Informatik II, RWTH Aachen, 52056 Aachen,
Germany
             Tel: (+49/0)241/80-21212; Fax: (+49/0)241/8888-217
             URL: http://www-i2.informatik.rwth-aachen.de/~chitil/



Reply via email to