From: Francois Pottier <Francois.Pottier@inria.fr>
To: Jacques Carette <carette@mcmaster.ca>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Unicode solutions
Date: Mon, 12 Apr 2010 19:30:13 +0200 [thread overview]
Message-ID: <20100412173013.GA19995@yquem.inria.fr> (raw)
In-Reply-To: <4BC32FAC.8060703@mcmaster.ca>
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/
prev parent reply other threads:[~2010-04-12 17:30 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-04-12 14:35 Jacques Carette
2010-04-12 15:44 ` [Caml-list] " Dario Teixeira
2010-04-12 17:30 ` Francois Pottier [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20100412173013.GA19995@yquem.inria.fr \
--to=francois.pottier@inria.fr \
--cc=caml-list@inria.fr \
--cc=carette@mcmaster.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).