On Fri, 8 Jul 2005, Kenneth Knowles wrote:

> This exists, and is called camlp4.  I'm not sure which, if any, of the tools
> that operate on .ml files doesn't "support" it via easy command line flags.
> 
> There is even a revised syntax shipped with camlp4 which has curried variant
> constructors like Haskell.  Unfortunately, there's a lot of stuff in there I
> disagree with, like extra bracketing of many constructs.

Many thanks for that tip! I really missed that so far - I knew about 
camlp4's existence, but just did not have an incentive to have a closer 
look. Well, now I have.

> http://pauillac.inria.fr/caml/camlp4/manual/manual007.html

I would say that I'd agree with ~85% of what's in there, so for me it's 
definitely an improvement. Thanks.

-- 
regards,               tf@cip.physik.uni-muenchen.de              (o_
 Thomas Fischbacher -  http://www.cip.physik.uni-muenchen.de/~tf  //\
(lambda (n) ((lambda (p q r) (p p q r)) (lambda (g x y)           V_/_
(if (= x 0) y (g g (- x 1) (* x y)))) n 1))                  (Debian GNU)