Hello,

skaller wrote:
> Yes, that is possible, assuming I can also ship any required libraries.

There are none. Menhir produces stand-alone code.

> Sure! My thoughts would be: Menhir should really go to GLR.

Indeed, it would be interesting to have GLR as an option. I don't really have
time to work on this idea at the moment, but it could be a possibility for a
student programming project.

-- 
François Pottier
Francois.Pottier@inria.fr
http://cristal.inria.fr/~fpottier/