Excerpts from David Teller's message of Wed Jan 28 12:25:26 +0100 2009:
> 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.

That's right.

-- 
Nicolas Pouillard