Version française
Home     About     Download     Resources     Contact us    
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 <frisch@clipper.ens.fr> 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: 
http://rum.cs.yale.edu/cs421/case-for-ml.html

It can be of some interest here.
-- 
Rémi Vanicat
vanicat@labri.u-bordeaux.fr
http://dept-info.labri.u-bordeaux.fr/~vanicat
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners