On Wed, 2009-01-28 at 01:32 +0100, Nicolas Pouillard wrote:
> The encoding of modules using existential types in non modular, this
> basically means that you have to heavily transform the source.
> 
> What one need to encode modules is "open" existential types, this well
> and clearly explained in this POPL'09 paper:
> 
>   «Modeling Abstract Types in Modules with Open Existential Types»,
>     by Benoît Montagu and Didier Rémy

Yes, I was just reading that paper. However, it is my impression that we
could get away without open existential types, at the cost of reduced
features.

On the other hand, it was pointed to me that Alain already wrote a
compiler patch implementing first-class modules.

Cheers,
 David