On Wed, 2007-03-14 at 21:57 +0100, Alain Frisch wrote:
> skaller wrote:
> > That links fine -- why would you expect introducing
> > an alias to change the compilation requirements?
> 
> Just in case: there is no such thing as module aliasing in OCaml (for a
> decent definition of aliasing). In particular, after writing "module A =
> B", it is not always valid to replace occurrences of B with occurrences
> of A.

Hmm .. another weirdness of the module system. You say
"it is not always valid" .. so when is it valid?

I have to say after quite some time writing Ocaml I still
don't really understand modules. 

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net