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 JAA04593; Wed, 16 Jan 2002 09:31:28 +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 JAA04915 for ; Wed, 16 Jan 2002 09:31:27 +0100 (MET) Received: from lri.lri.fr (lri.lri.fr [129.175.15.1]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g0G8VR515132 for ; Wed, 16 Jan 2002 09:31:27 +0100 (MET) Received: from pc803.lri.fr (mail@pc803 [129.175.8.114]) by lri.lri.fr (8.11.6/jtpda-5.3.2) with ESMTP id g0G8V9F20735 ; Wed, 16 Jan 2002 09:31:09 +0100 (MET) Received: from filliatr by pc803.lri.fr with local (Exim 3.33 #1 (Debian)) id 16QlTu-0001wf-00; Wed, 16 Jan 2002 09:31:38 +0100 From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15429.14954.364471.23334@pc803.lri.fr> Date: Wed, 16 Jan 2002 09:31:38 +0100 (MET) To: Hendrik Tews Cc: caml-list@inria.fr Subject: Re: [Caml-list] C++ grammar for ocamlyacc In-Reply-To: <15428.26565.620305.646318@gargle.gargle.HOWL> References: <15428.26565.620305.646318@gargle.gargle.HOWL> X-Mailer: VM 6.49 under Emacs 20.7.2 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hendrik Tews writes: > Dear all, > > does anybody know about a C++ frontend (lexer + parser + ...) for ocaml? ocamlyacc syntax being the same as yacc's (regardless the actions), you can re-use any yacc grammar for C++. Even a (f)lex lexer for C++ is of interest, giving you the regular expressions. A bit of searching on the web will bring you many lex/yacc grammars for C++, as for instance this one following the ISO standard: http://www.sigala.it/sandro/software.html#grammars Hope this helps, -- Jean-Christophe Filliatre (http://www.lri.fr/~filliatr) ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr