Re: [Demexp-dev] Re: Interface between OCaml and Cduce

[David MENTRE]

Hello,

Serge Leblanc <address@hidden> writes:

> 2 possible solutions: 
>
>      1. either the exceptions are caught and managed in the CDuce code, 
>      2. or the exceptions are transmitted and managed to the level of
>         the Ocaml code.
>
>
> Solution 1 is easily realizable.  Solution 2 raises today a little more
> difficulty, there is currently loss of information at the time of the
> passage of a CDuce exception to a Ocaml exception.  The detail of the
> exception unfortunately is left fallen. 
>
> I think that the next versions of Ocaml and CDuce will integrate
> improvements into this level because the Cristal project takes part now
> in the effort of research which CDuce requests.

Ok. If solution 1 can provides line numbers, I'm in favor of solution 1.

Maybe a third solution is possible :

 1. CDuce code raises an exception with precise location;

 2. CDuce code catches the exception and prints an error message. It
    then raises an OCaml exception;

 3. OCaml code catches the exception and properly closes the server.

What do you think of it?

Yours,
d.
-- 
pub  1024D/A3AD7A2A 2004-10-03 David MENTRE <address@hidden>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A