English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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,

Andrej