From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA32610; Mon, 18 Feb 2002 22:40:11 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA31872 for ; Mon, 18 Feb 2002 22:40:10 +0100 (MET) Received: from mel-rto6.wanadoo.fr (smtp-out-6.wanadoo.fr [193.252.19.25]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g1ILe9508857 for ; Mon, 18 Feb 2002 22:40:09 +0100 (MET) Received: from mel-rta2.wanadoo.fr (193.252.19.152) by mel-rto6.wanadoo.fr; 18 Feb 2002 22:40:09 +0100 Received: from debian (80.8.75.21) by mel-rta2.wanadoo.fr; 18 Feb 2002 22:39:35 +0100 Received: from moi by debian with local (Exim 3.34 #1 (Debian)) id 16cvWd-0004m3-00 for ; Mon, 18 Feb 2002 22:40:43 +0100 To: caml-list@inria.fr Subject: Re: [Caml-list] Looking for parser + ast generator in OCAML References: From: Remi VANICAT Date: 18 Feb 2002 22:40:43 +0100 In-Reply-To: Message-ID: <87664ufoys.dlv@wanadoo.fr> User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-15 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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: 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