Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Where are the AST specs?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-03-19 (10:20)
From: Nicolas Pouillard <nicolas.pouillard@g...>
Subject: Re: [Caml-list] Where are the AST specs?
On 3/19/07, Loup Vaillant <> wrote:
> 2007/3/19, Olivier Andrieu <>:
> > On 3/18/07, Loup Vaillant <> wrote:
> > > Hello everyone,
> > >
> > > I am currently working on giving Ocaml a Lisp syntax.
> >
> > In case you haven't noticed it, there used to be a lispish syntax for
> > ocaml written with camlp4.
> > It's in the camlp4 tree :
> >
> Actually, I haven't noticed it. At first glance this syntax is close
> to my standards. However, Do you know if it has macros? Clean macros
> remain my main goal. My holy grail is the power (and ease of use) of
> Common Lisp macros.

I think, it don't has macros, but Daniel de Rauglaudre would give a
more accurate answer.

BTW camlp4 provides a simple macro system through a dynamic syntax
extension. It features DEFINE, IFDEF, INDEF, and INCLUDE.

However camlp4 is itself a powerful way to manage the OCaml syntax as
AST through it's quotation system.

Have you a simple specification of what you want for OCaml (or some examples).

Nicolas Pouillard