Re: [Caml-list] Hybrid ML/C programs and exceptions

[Xavier Leroy <xavier.leroy@inria.fr>]

> We have a hybrid O'Caml/C application in which ML calls C,
> which calls ML, like this:
> The "lower" ML(3) raises an exception, which is dealt with
> by C(2) using one of the callback_exn functions. When the C
> function returns, the "upper" ML function generates a bus
> error on Solaris 8, on writing to a mutable global variable.
> We are using O'Caml 3.04 with the bytecode compiler.
> 
> Is this program structure allowed?

Yes, it is, and if you compile with the native-code compiler ocamlopt,
it works fine.  However, you've hit a bug in the bytecode interpreter
that causes callback_exn to misbehave.  This will be fixed shortly.
Thanks for reporting the problem.

- Xavier Leroy
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners