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=0.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id DA2FBBC6C for ; Tue, 29 Jan 2008 08:59:18 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAGRrnkfAXQInh2dsb2JhbACQHgEBAQgKKZwC X-IronPort-AV: E=Sophos;i="4.25,268,1199660400"; d="scan'208";a="21915967" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 29 Jan 2008 08:59:18 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m0T7xHZS000766 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 29 Jan 2008 08:59:18 +0100 X-IronPort-AV: E=Sophos;i="4.25,268,1199660400"; d="scan'208";a="6683221" Received: from yquem.inria.fr ([128.93.8.37]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Jan 2008 08:59:18 +0100 Received: by yquem.inria.fr (Postfix, from userid 18965) id DA1C7BC6C; Tue, 29 Jan 2008 08:59:17 +0100 (CET) Date: Tue, 29 Jan 2008 08:59:17 +0100 From: Francois Pottier To: Dario Teixeira Cc: caml-list@inria.fr Subject: Re: [Caml-list] [OSR] OCaml Standard Recommandation Process Message-ID: <20080129075917.GC31786@yquem.inria.fr> Reply-To: Francois.Pottier@inria.fr References: <1201554728.19148.53.camel@flake.lan.gerd-stolpmann.de> <350814.26315.qm@web54601.mail.re2.yahoo.com> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <350814.26315.qm@web54601.mail.re2.yahoo.com> User-Agent: Mutt/1.5.9i X-Miltered: at concorde with ID 479EDCD5.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 lexer:01 ocamlyacc:01 parser:01 lexer:01 stub:01 ocamllex:01 lexing:01 lexbuf:01 28,:98 token:01 wrote:01 cristal:01 caml-list:01 pottier:01 Hello, On Mon, Jan 28, 2008 at 09:43:55PM +0000, Dario Teixeira wrote: > Another example that is probably so obvious that it almost doesn't need > mentioning is the incompatibility of the lexer interface between ulex > and Ocamlyacc/Menhir. It would be possible for menhir to follow dypgen and allow the parser to be parameterized over a lexer signature. I'll add that to the todo list. In the meantime, another possibility would be to write a stub function that makes ulex (or whatever lexer you are using) artificially look like an ocamllex lexer. If I am not mistaken, all that is needed is to provide a function of type Lexing.lexbuf -> token, which must update the fields lex_start_p and lex_curr_p as a side effect. -- François Pottier Francois.Pottier@inria.fr http://cristal.inria.fr/~fpottier/