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 (%parameter) that allows precisely this.

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