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
[Caml-list] Looking for parser + ast generator in OCAML
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Remi VANICAT <vanicat@l...>
Subject: Re: [Caml-list] Looking for parser + ast generator in OCAML
Alain Frisch <> writes:

> On Mon, 18 Feb 2002, Lakshminarayanan R wrote:

> > I am also looking for tools that can automatically
> > generate data structures to hold the Abstract Syntax Tree
> > and also tools that can generate functions that can be used
> > to traverse this AST. Basically I want tools that can take a
> > grammar spec. and generate a parser, ast, and tree traversal
> > functions, automatically.
> I second that, altough I do not see clearly what the tool should be.
> Basically, I would like to give the same abstract syntax as in papers,
> that is without parentheses, with overloading of symbols between several
> syntactical categories, etc ... and let the tool inform me, maybe
> interactively, when ambiguities have to be resolved, by showing "typical"
> ambiguous case and suggesting solutions (precedence, associativity,
> parentheses, ...). An automatically generated pretty-printer associated to
> the grammar would be great too.
IoXML can be a good start point for things like that, it work the
other way around (from type to parser and pretty_printer). It use
XML but one can hope that it can be adapt to something else. 

> > I would highly appreciate any pointers to related tools.
> >
> > A more general question: Is there some kind of Compiler
> > Development Kit (or set of tools) in Ocaml?
> I'm not aware of such a thing, but there are many compilers written in
> OCaml with available source code (OCaml itself for instance).

I've just read something about why ocaml is good for writing compilers:

It can be of some interest here.
Rémi Vanicat
To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: