Jake Donham wrote:
> [...]
> There is no trouble linking a module more than once, but different
> parts of the code can wind up linked to different instances of the
> module, leading to the confusing behavior that exception handling
> seems not to work (and generally that things you think are equal are
> not). [...]

This is a problem I faced myself. My advice is to make sure some module
is not linked twice in an executable. For this, I build a .cma with the
same objects as the executable (basically, add -a to the final linking
stage), and run ocamlobjinfo on the .cma.

Sometimes, it is not up to you. See for example:

  http://caml.inria.fr/mantis/view.php?id=4568

> [...]
> (I ran into this trying to use the ocaml-ssl module, which for some
> reason builds unix.cma into ssl.cma.)

I've also noticed this and submitted a patch upstream for this.


Cheers,

-- 
Stéphane Glondu