From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id EADBBBC75 for ; Sat, 19 Feb 2005 00:05:37 +0100 (CET) Received: from mail24.sea5.speakeasy.net (mail24.sea5.speakeasy.net [69.17.117.26]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j1IN5Zsg016685 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Sat, 19 Feb 2005 00:05:37 +0100 Received: (qmail 14242 invoked from network); 18 Feb 2005 23:05:33 -0000 Received: from dsl081-145-152.chi1.dsl.speakeasy.net (HELO firebird) ([64.81.145.152]) (envelope-sender ) by mail24.sea5.speakeasy.net (qmail-ldap-1.03) with SMTP for ; 18 Feb 2005 23:05:33 -0000 Date: Fri, 18 Feb 2005 17:41:22 -0600 From: art yerkes To: Jeff Henrikson Cc: psnively@mac.com, hamburg@fas.harvard.edu, ml-labo@epimac.org, julien.roussel@gmail.com, oliver@first.in-berlin.de, caml-list@yquem.inria.fr, tipoix@free.fr Subject: Re: [Caml-list] Re: OCaml && COCOA-Environment (Mac-OS-X/GUI) Message-Id: <20050218174122.7be36c2e.ayerkes@speakeasy.net> In-Reply-To: <20050217071238.GA19872@hosting> References: <20050205000208.GB1364@first.in-berlin.de> <3a2f4a1305020508377ec6ddaf@mail.gmail.com> <617f41a9a7ef08a96d3bd59b00a9ae47@mac.com> <20050217071238.GA19872@hosting> X-Mailer: Sylpheed version 0.9.10 (GTK+ 1.2.10; i686-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 421674BF.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 henrikson:01 jehenrik:01 wrote:01 lexer:01 ast:01 parser:01 real-world:01 parsing:01 stdio:01 dependencies:01 swig:01 parser:01 swig:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=3.2 required=5.0 tests=HAIR_LOSS,SPF_SOFTFAIL autolearn=disabled version=3.0.2 X-Spam-Level: *** Jeff Henrikson wrote (lines wrapped): > I have been stuck lately in lexer hell. Frontc has a good AST, but the > parser is not designed to parse real-world nasty header files. There > are lots of pragmas such as __builtin_va_list which will crash when > parsing the linux stdio.h and etc. To my knowledge, the best work with > this has been done by the Cil team at UC Berkeley. Unfortunately, the > Cil team chose to fork the frontc sources and not contribute a backport > that I can tell. The dependencies are very intertwined. I wonder if the SWIG parser (which is very dirty, but quite permissive) might be useful in helping to buildup frontc. I like the idea of frontc but am using SWIG for bindings mainly because it works on a remarkable variety of input. Even though I'm nearly finished with the static types fork I've promised (now written in ocaml), it still relies on SWIG -xml to generate the input. A purer solution would be preferrable if it could be tuned to accept more input than frontc does now. I'd be willing to work with you to try to convert the SWIG parser, if you're interested in collaborating. Maybe we can choose some unlanguaged representation that can be built into both SWIG and frontc ... then it'd be possible for both to share bug fixes too (SWIG regularly gets new hairy template expansion test cases). Art -- Here's a simple experiment. Stand on a train track between two locomotives which are pushing on you with equal force in opposite directions. You will exhibit no net motion. None the less, you may soon begin to notice that something important is happening. -- Robert Stirniman