[Caml-list] printing an exception changes printed backtrace

[Ashish Agarwal <agarwal1975@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 1064 bytes --]

I observe the following unexpected behavior:

--- a.ml ---
try
  … some code ...
with e ->
(*  Printf.eprintf "%s\n" (Printexc.to_string e); *)
  Printexc.print_backtrace Legacy.stderr
------

Compiling as ocamlopt -g a.ml gives:
$ ./a.out
Raised at file "fool.ml", line 162, characters 13-22
Called from file "bar.ml", line 13, characters 5-56
Called from file "bar.ml", line 43, characters 4-63

Now this doesn't say which exception was raised, so I uncomment the
commented line. I'm expecting the identical output, but with the exception
printed first. However, I get:

$ ./a.out
Not_found
Raised at file "hashtbl.ml", line 93, characters 19-28

So it appears that printing an exception changes the backtrace. Is that
possible?

Unfortunately, I cannot reproduce this behavior in a minimal example. The
following script behaves as expected:

--- b.ml ---
let f () = raise (Failure "")
let g () = f ()
let _ =
  try g()
  with e ->
    (* Printf.eprintf "%s\n" (Printexc.to_string e); *)
    Printexc.print_backtrace stderr

[-- Attachment #2: Type: text/html, Size: 1736 bytes --]