From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 43A3BBC57 for ; Mon, 12 Apr 2010 19:30:18 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.52,191,1270418400"; d="scan'208";a="56918027" Received: from yquem.inria.fr ([128.93.8.37]) by mail1-relais-roc.national.inria.fr with ESMTP; 12 Apr 2010 19:30:13 +0200 Received: by yquem.inria.fr (Postfix, from userid 18965) id 26299BC57; Mon, 12 Apr 2010 19:30:13 +0200 (CEST) Date: Mon, 12 Apr 2010 19:30:13 +0200 From: Francois Pottier To: Jacques Carette Cc: caml-list@inria.fr Subject: Re: [Caml-list] Unicode solutions Message-ID: <20100412173013.GA19995@yquem.inria.fr> Reply-To: Francois.Pottier@inria.fr References: <4BC32FAC.8060703@mcmaster.ca> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <4BC32FAC.8060703@mcmaster.ca> User-Agent: Mutt/1.5.9i X-Spam: no; 0.00; ocamlyacc:01 lexer:01 wrappers:01 wrote:01 faq:01 caml-list:01 pottier:01 pottier:01 short:01 francois:02 francois:02 fpottier:02 jacques:03 suggests:04 manual:06 On Mon, Apr 12, 2010 at 10:35:24AM -0400, Jacques Carette wrote: > [It's not clear to me that ulex + menhir works] Yes, it does. This is documented in the FAQ near the end of the Menhir reference manual. In short, although Menhir (like ocamlyacc) produces code whose interface suggests that it is meant to be used with an ocamllex-generated lexer, this interface can be easily adapted. Wrappers for this purpose are provided as part of MenhirLib. -- François Pottier Francois.Pottier@inria.fr http://gallium.inria.fr/~fpottier/