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.0 required=5.0 tests=none 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 D33C4BC68 for ; Thu, 26 Oct 2006 21:09:27 +0200 (CEST) Received: from pilet.ens-lyon.fr (pilet.ens-lyon.fr [140.77.167.16]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k9QJ9NSI016526 for ; Thu, 26 Oct 2006 21:09:27 +0200 Received: from localhost (localhost [127.0.0.1]) by pilet.ens-lyon.fr (Postfix) with ESMTP id 50CD915B93E for ; Thu, 26 Oct 2006 21:09:17 +0200 (CEST) Received: from pilet.ens-lyon.fr ([127.0.0.1]) by localhost (pilet [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 01267-03 for ; Thu, 26 Oct 2006 21:09:16 +0200 (CEST) Received: from webmail.ens-lyon.fr (mouette.ens-lyon.fr [140.77.167.4]) by pilet.ens-lyon.fr (Postfix) with ESMTP id DFD5715B61E for ; Thu, 26 Oct 2006 21:09:16 +0200 (CEST) Received: from tok69-2-82-224-120-185.fbx.proxad.net (tok69-2-82-224-120-185.fbx.proxad.net [82.224.120.185]) by webmail.ens-lyon.fr (Horde MIME library) with HTTP for ; Thu, 26 Oct 2006 21:09:16 +0200 Message-ID: <20061026210916.jzozumffz03ogsww@mouette.ens-lyon.fr> Date: Thu, 26 Oct 2006 21:09:16 +0200 From: Emmanuel Onzon To: caml-list@inria.fr Subject: Re: [Caml-list] Ulex and dypgen MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 7bit User-Agent: Internet Messaging Program (IMP) H3 (4.0.3) X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at ens-lyon.fr X-Miltered: at discorde with ID 454107E3.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ens-lyon:01 ocamlyacc:01 lexer:01 ocamllex:01 val:01 val:01 lexing:01 lexbuf:01 lexing:01 lexbuf:01 token:01 token:01 caml-list:01 interfaces:01 tree:02 >> is there a way to have menhir (or ocamlyacc) use a lexer produced with ulex? > > Actually, I've to pose the very same question for dypgen. You can use ulex instead of ocamllex with dypgen now. An example is included in the distribution. I've changed the interfaces, now the type is : val dyp_parse : ('a -> token) -> 'a -> your_tree list instead of val dyp_parse : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> your_tree list Regards Emmanuel Onzon