Re: [Caml-list] How can I generate an AST?

["Loup Vaillant" <loup.vaillant@gmail.com>]

2007/8/19, Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>:
> Hi,
>
> On Sun, Aug 19, 2007 at 07:39:50PM +0200, Loup Vaillant wrote:
>
> > I would like to write a preprocessor of my own (to make a lisp
> > syntax). In the process, I am slowly catching up with the Ocaml AST.
>
> If you just need a Lisp syntax, you can use Camlp5 which proposes a
> Lisp syntax among its parsing kits:
>   http://pauillac.inria.fr/~ddr/camlp5/doc/html/scheme.html
>
> Perhaps (probably) incomplete, but you can complete or fix it if you
> want.

Looks great, but unfortunately, I think it is unsuitable for what I
want to do : a macro system based on a lisp-like syntax. I want reader
macros as well as regular ones. (By the way, have I overlooked a
"defmacro" in your syntax?)

> If you are interested on the fact of *programming* yourself a new
> syntax, use Camlp5: make your parser generating Camlp5 AST and the
> rest (dumping syntax tree) is already done by Camlp5. See the doc
> or ask who knows for hints (me or other).

This may be a better approach. However, I am not eager to use camlp*,
for it will introduce a additional dependency. I may choose this
however, if the camlp* AST is simpler than the Ocaml AST. Where can I
find it?

Thank you,
Loup