Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Parametrizing ocamlyacc
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-11-12 (14:30)
From: Andrej Bauer <andrej.bauer@a...>
Subject: Parametrizing ocamlyacc
I have the following situation:

- a signature S
- two modules A and B, which both implement S
- an ocamlyacc file which refers to an implementation of S

I want to generate two executable, one where A is used and another
where B is used.

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?

Best regards,