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
Hello,
On Thu, Aug 06, 2009 at 01:16:35PM +0200, ChoJin wrote:
I have an issue while using OCamlMakefile, menhir and its --infer
option.
I don't know if OCamlMakefile properly supports menhir with the --infer
option.
The simplest solution to your problem would be to use ocamlbuild instead
Hello,
On Tue, May 05, 2009 at 10:58:29AM +0200, Matthieu Dubuget wrote:
It prevents menhir (20090402) to compile on my mingw system with ocamlfind
in use (because when ocamlfind is used, the dependencies are found with an
ocamlfind ocamldep call).
I don't know whether it is a bug in
On Sat, Dec 13, 2008 at 07:47:46PM -0600, Edgar Friendly wrote:
ExtLib (and thus batteries) uses your unmute (called [inj]) for
converting a mutable list into the normal immutable list. The definition:
external inj : 'a mut_list - 'a list = %identity
As always, be *very* careful when
Hi all,
If you are doing something exciting that involves programming languages (ocaml
or other) and security, consider submitting to PLAS! (Apologies for multiple
postings.)
--
François Pottier
francois.pott...@inria.fr
http://cristal.inria.fr/~fpottier/
ACM SIGPLAN
On Wed, Nov 12, 2008 at 03:30:22PM +0100, Andrej Bauer wrote:
The most logical thing would be to turn the ocamlyacc part into a
functor which accepts an implementation of S. But there does not seem
to be any way of doing this. What can I do?
Can menhir do this?
Yes, Menhir has a keyword