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 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id BA6B7BC6B for ; Thu, 6 Sep 2007 22:56:22 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.173]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l86KuMLV013361 for ; Thu, 6 Sep 2007 22:56:22 +0200 Received: by ug-out-1314.google.com with SMTP id m3so215725ugc for ; Thu, 06 Sep 2007 13:56:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:mime-version:content-transfer-encoding:message-id:content-type:to:from:subject:date:x-mailer; bh=9mAI3WM9l8Ru/Vh5LZrOOeQc09s/tTsvWrMEQCGXDRg=; b=PRK5tX0o7mTSO+jWqe7LHZ8rHjLd1Ikp3OBI4+mpsM9fjXzQl36B4jCQudTLy+KqVIztfFBwGZovHF0vXvBfnGxHebl2yzRy7t1w4TUHB248SgvN1BjKcjwEg+I5shPLBRrdgvV4yz/E/rygQCYL7ajcIP0oZ1oeERL5kQ49ZUY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:mime-version:content-transfer-encoding:message-id:content-type:to:from:subject:date:x-mailer; b=L4z1pYC6s8zo93tTEF882eYA4WXRnwYpdcL8BA/COPu8JFC2DRyGR7PmKnKk8J3T46QVjiHFG4W4LFUo3Zx/Q9bIlgpUjY+OWmpRSOWvE/Vl+x9I9v8Cs0/Brkl/zWkZ7X0L/7bjOrFnS4b+lMD0n/dI4/BYtJC+8DgabSJooAY= Received: by 10.66.251.3 with SMTP id y3mr544101ugh.1189112181873; Thu, 06 Sep 2007 13:56:21 -0700 (PDT) Received: from ?192.168.1.34? ( [83.36.84.169]) by mx.google.com with ESMTPS id 29sm985008uga.2007.09.06.13.56.20 (version=SSLv3 cipher=OTHER); Thu, 06 Sep 2007 13:56:21 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v752.3) Content-Transfer-Encoding: 7bit Message-Id: <1B6F3078-704B-4C4A-8BE1-B14705E2B256@gmail.com> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: Caml List From: Joel Reymont Subject: Best C parser to extend for Objective-C Date: Thu, 6 Sep 2007 21:56:16 +0100 X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 46E06976.000 on discorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at discorde with ID 46E06976.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; parser:01 ocaml:01 parser:01 wrappers:01 ocaml:01 ffi:01 wrappers:01 cocoa:98 cocoa:98 forklift:98 grammar:02 ast:02 lisp:02 seems:03 extend:07 I made good progress recently with my Cocoa bridge for Lisp and I'm emboldened to start on the OCaml version. I would like to use a parser for header files to build wrappers for Cocoa classes by first building up the OCaml AST and then pretty-printing it. I understand that there are ForkLift and CIL but it seems to me that FL is more for generating FFI wrappers whereas I just need a parser. I'm not familiar with CIL. I want to grab a parser, add the Objective-C grammar and run the result over Cocoa headers. What would be the best parser code base to start with? Thanks, Joel -- http://wagerlabs.com