Re: [Caml-list] linking the same module more than once

2008-08-08 Thread Jake Donham
On Thu, Aug 7, 2008 at 11:13 PM, Alain Frisch <[EMAIL PROTECTED]> wrote: > You should really avoid linking two modules with the same name. Yes, I agree vehemently :). I would like the bytecode linker to help me out by (at least) warning me when I do it by accident. Jake _

Re: [Caml-list] linking the same module more than once

2008-08-07 Thread Alain Frisch
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). Y

Re: [Caml-list] linking the same module more than once

2008-08-07 Thread Stéphane Glondu
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

[Caml-list] linking the same module more than once

2008-08-07 Thread Jake Donham
Hi, Consider the following code: a.ml: let a () = raise (Unix.Unix_error (Unix.E2BIG, "", "")) b.ml: try A.a () with Unix.Unix_error (_,_,_) -> () compiled with ocamlc -o test unix.cma a.ml unix.cma b.ml Run it: > ./test Fatal error: exception Unix.Unix_error(0, "", "") With except