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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id D927FBC68 for ; Thu, 26 Oct 2006 17:30:06 +0200 (CEST) Received: from fiton.bononia.it (fiton.bononia.it [130.186.88.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k9QFU4sn010429 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Thu, 26 Oct 2006 17:30:06 +0200 Received: from muletto.takhisis.invalid (fiton.bononia.it [130.186.88.105]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client CN "Stefano Zacchiroli", Issuer "sockmel.bononia.it" (not verified)) by fiton.bononia.it (Postfix) with ESMTP id 0473C14754 for ; Thu, 26 Oct 2006 17:29:58 +0200 (CEST) Received: by muletto.takhisis.invalid (Postfix, from userid 1000) id C9BD444313; Thu, 26 Oct 2006 17:29:54 +0200 (CEST) Date: Thu, 26 Oct 2006 17:29:54 +0200 From: Stefano Zacchiroli To: Inria Ocaml Mailing List Subject: Ulex and dypgen Message-ID: <20061026152954.GA12313@aquarium.takhisis.invalid> Mail-Followup-To: Inria Ocaml Mailing List References: <4540D1AA.3030309@laposte.net> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <4540D1AA.3030309@laposte.net> User-Agent: Mutt/1.5.13 (2006-08-11) X-Miltered: at concorde with ID 4540D47C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; zacchiroli:01 0200,:01 matthieu:01 dubuget:01 ocamlyacc:01 lexer:01 lexers:01 parsing:01 ocaml:01 cheers:01 zacchiroli:01 unibo:01 26,:98 zack:01 zack:01 On Thu, Oct 26, 2006 at 05:18:02PM +0200, Matthieu Dubuget wrote: > 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. More generally, what about an effort like what has been done for standardizing OO interfaces for I/O, this time to standardize the interface of lexers as used by the plethora of parsing engines nowadays available for OCaml? Cheers. -- Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/ If there's any real truth it's that the entire multidimensional infinity of the Universe is almost certainly being run by a bunch of maniacs. -!-