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/