From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <David.Teller@univ-orleans.fr>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.3 required=5.0 tests=AWL autolearn=disabled 
	version=3.1.3
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id AE299BC6B
	for <caml-list@yquem.inria.fr>; Wed, 28 Nov 2007 08:14:01 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgAAAI+jTEfBMVMPk2dsb2JhbACPPAIBAQcEBgkg
X-IronPort-AV: E=Sophos;i="4.23,222,1194217200"; 
   d="scan'208";a="5003922"
Received: from kabis.univ-orleans.fr (HELO ka.univ-orleans.fr) ([193.49.83.15])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 28 Nov 2007 08:14:01 +0100
Received: from smtps.univ-orleans.fr (localhost [127.0.0.1])
	by ka.univ-orleans.fr (Postfix) with ESMTP id 2509212ADE8
	for <caml-list@yquem.inria.fr>; Wed, 28 Nov 2007 08:14:01 +0100 (CET)
Received: from [192.168.0.1] (lau18-1-82-246-197-195.fbx.proxad.net [82.246.197.195])
	by smtps.univ-orleans.fr (Postfix) with ESMTP id 4B9E036E5B
	for <caml-list@yquem.inria.fr>; Wed, 28 Nov 2007 08:14:01 +0100 (CET)
Subject: Building a parser with Camlp4
From: David Teller <David.Teller@univ-orleans.fr>
To: Caml <caml-list@yquem.inria.fr>
Content-Type: text/plain
Date: Wed, 28 Nov 2007 08:14:00 +0100
Message-Id: <1196234040.6361.7.camel@Blefuscu>
Mime-Version: 1.0
X-Mailer: Evolution 2.12.1 
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; parser:01 camlp:01 univ-orleans:01 parser:01 camlp:01 lexer:01 javascript:98 plug-in:98 rewrite:01 slower:02 epsilon:04 yacc:06 examples:07 probably:07 written:07 

     Hi list (Nicolas Pouillard, in particular),

 I'll probably need to rewrite my (not-fully-complete-yet) parser for
JavaScript 2 and I'm considering using Camlp4 as a parser generator for
a completely-non-OCaml target language. Now, before I do that, I have a
few questions in mind:

* What is the power of Camlp4 ? The documentation says LL(1+epsilon) but
the examples look like LL(k) with a possibly large k.

* How do I plug-in a lexer written with ULex ?

* Camlp4 looks relatively slow -- is it much slower than Yacc ?



Thanks,
 David