From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 0FD53BC6B for ; Fri, 22 Jun 2007 21:29:40 +0200 (CEST) Received: from wx-out-0506.google.com (wx-out-0506.google.com [66.249.82.230]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l5MJTd7v007668 for ; Fri, 22 Jun 2007 21:29:39 +0200 Received: by wx-out-0506.google.com with SMTP id t13so803998wxc for ; Fri, 22 Jun 2007 12:29:38 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=IqkKRyN2OddDKQjqB9y5gJn714hrF3Qzcw62Ns+Xnq/AdgkMEJHz3tuaJVsB+dC3rNJMdk8B0NQNakOvlgUEuyPBtxp4SiT0RVD1QnCBPHuvc598F0DwY6xbliE28ZqD7AC425mP0WuPTDOsssH76lZbre3+Akzys2z42uWX3R8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=pyOpMv+j5cvWFVAaRKLAjebb1mNNa1yTVEUinqTHmINWQDFmyOIZHlyNEQFWC8GBCh2/4N4COQB1cUhn+slCVwB3H9qDnBeCbW6Q0vGRmNBLXFOOOZWJlLoCxjbfLxOuiiI/YSobsFWwEXJZAV5tY6bexmDxLljM3zv7do5EmBw= Received: by 10.90.106.11 with SMTP id e11mr3057991agc.1182540577971; Fri, 22 Jun 2007 12:29:37 -0700 (PDT) Received: by 10.90.56.20 with HTTP; Fri, 22 Jun 2007 12:29:37 -0700 (PDT) Message-ID: <5efa98b30706221229m70513c68n5a36bc7395fa07a7@mail.gmail.com> Date: Fri, 22 Jun 2007 12:29:37 -0700 From: "David Hall" Sender: david.lw.hall@gmail.com To: "Christopher L Conway" Subject: Re: [Caml-list] Dypgen C++ grammar Cc: skaller , dypgen@ml.free.fr, caml In-Reply-To: <4a051d930706221033l55f89460k1695c3dc88c3fd12@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <1182522980.6334.4.camel@rosella.wigram> <4a051d930706221033l55f89460k1695c3dc88c3fd12@mail.gmail.com> X-Google-Sender-Auth: e76616af56ad7877 X-Miltered: at discorde with ID 467C2323.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; gcc:01 gcc:01 gcc's:01 parser:01 parser:01 ocamlyacc:01 lalr:01 beginner's:01 ocaml:01 bug:01 beginner's:01 ocaml:01 bug:01 sourceforge:01 beginners:01 On 6/22/07, Christopher L Conway wrote: > Another approach would be to modify GCC so that it's intermediate > representation can be fed to outside tools. As a bonus, this would > provide support for Java, Fortran, and all the other languages > front-endsd in the GCC suite. Unfortunately, unless the GCC > maintainers have changed their position, this would require forking > the front end, though I suspect the changes required to implement this > are fairly minor. (See, e.g., this old discussion from the GCC list: > http://gcc.gnu.org/ml/gcc/2000-10/msg00103.html) > It's sort of already been done with GCC-XML: "The purpose of the GCC-XML extension is to generate an XML description of a C++ program from GCC's internal representation. Since XML is easy to parse, other development tools will be able to work with C++ programs without the burden of a complicated C++ parser." http://www.gccxml.org/HTML/Index.html -- David Hall > > On 6/22/07, skaller wrote: > > Is anyone interested in developing a C++ parser, possibly using > > FrontC and/or CIL as the starting point, but using Dypgen > > as the parser engine? > > > > I have made some modification to FrontC/Cil to support > > some C++ constructions, but Ocamlyacc (LALR1) just can't cope > > with C++. > > > > OTOH, Scott McPeak has a C++ grammar for Elkhound which is > > a C++ based GLR engine, with BSD licence, so it may be possible > > to adapt that. > > > > -- > > John Skaller > > Felix, successor to C++: http://felix.sf.net > > > > _______________________________________________ > > Caml-list mailing list. Subscription management: > > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > > Archives: http://caml.inria.fr > > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > > Bug reports: http://caml.inria.fr/bin/caml-bugs > > > > > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >