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.

-- Alain