Original bug ID: 2030
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Aleksey Nogin
Version: 3.06 and 3.07+13 (2004-01-04)
OS: Red Hat Linix 7.3 and 9.0
Submission from: wasco.cs.caltech.edu (131.215.44.173)

Compare the following two testcases:

% cat temp1.ml ; ocamlc -g temp1.ml ; env OCAMLRUNPARAM=b ./a.out
let h () = raise Not_found
let _ = h ()
Fatal error: exception Not_found
Raised at file "temp1.ml", line 1, character 26
Called from file "temp1.ml", line 2, character 12

% cat temp2.ml ; ocamlc -g temp2.ml ; env OCAMLRUNPARAM=b ./a.out
let f x = x + 1
let g x = x + 2
let h () = (f = g)
let _ = h ()
Fatal error: exception Invalid_argument("equal: functional value")
Raised by primitive operation at file "temp2.ml", line 4, character 12

% ocamlc -version
3.07+13 (2004-01-04)

In the first testcase, the backtrace correctly has two frames, but in the second
case, the innermost frame is omited - the backtrace claims that the C function
was called from line 4, while in fact is was called from line 3.

P.S. If I have a longer h with the offending call somwhere in the middle (to
rule out inlining, tail-call optimizations, etc), or if I use 3.06, I still get
similar results.