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/