Exception is not caught by callback3_exn()

Exception is not caught by callback3_exn()

[Richard Samuels]

I'm calling an ocaml function from C, with the following statements:

{  ... /* setup args */

   if (fn_closure == NULL)
     fn_closure = caml_named_value ("fn");

   answer = callback3_exn(*fn_closure,
		     Caml_rep, Caml_tofile, Caml_codefile);

   if ( Is_exception_result( answer ) ) {
     retval = NULL;
     CAMLreturn( retval );
   }

   if (Is_block(answer)) {
	... /* handle result */
   }
}

Using callback3_exn should catch any exceptions thrown in the code and 
return. However, when the caml code throws an exception, my code doesn't 
get control and the program terminates! I don't understand what's wrong 
here -- could somebody please help?

Thanks,

Richard Samuels
rls25@cornell.edu

Re: Exception is not caught by callback3_exn()

[Xavier Leroy]

> Using callback3_exn should catch any exceptions thrown in the code and 
> return. However, when the caml code throws an exception, my code doesn't 
> get control and the program terminates! I don't understand what's wrong 
> here -- could somebody please help?

Works fine here (in OCaml 3.00).  Make sure you use OCaml version 2.03
or later, since the initial implementation of callback*_exn in 2.02
was buggy.

If that doesn't explain your problem, please write caml-bugs@inria.fr
or use the bug-tracking system on our Web site and send us a complete
example reproducing the problem.

- Xavier Leroy