Hi,
On Sat, Dec 30, 2000 at 05:58:45PM -0800, Chris Hecker wrote:
> Ah, I see. How hard would it be to hook camlp4 (or another "plugin"
> type thing, but it would be good if it was the same structure as
> camlp4) into other stages of the compiler, like after type
> inference?
Camlp4 allows to make syntax extensions. We could imagine something to
make typing extensions and code generating extensions. But I don't
know how to do that, and even if it is possible in a simple way.
Do other caml-list readers have an opinion about that?
--
Daniel de RAUGLAUDRE
daniel.de_rauglaudre@inria.fr
http://cristal.inria.fr/~ddr/