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).
You should really avoid linking two modules with the same name. This can
lead to all kind of errors and the compiler will not always catch you if
they have the same signature. You can even break type safety by linking
two modules with the same name and signature but with different
implementations:
- without Dynlink: http://caml.inria.fr/mantis/view.php?id=4231
(quite simple with ocaml; more difficult with ocamlopt, but still
possible with -pack)
- with Dynlink: http://caml.inria.fr/mantis/view.php?id=4229
-- Alain
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
