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

[Serge Leblanc]

On Wed, 2004-12-08 at 19:46 +0100, David MENTRE wrote:

> 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?

Well, but that is in fact solution 1.
It should be understood that the numbers of line have significance only during the  well-formed checking of file. When CDuce will use an XML repository, the numbers of line will not have any meaning.

--
pub  1024D/73791C2B 2002-09-30 Serge Leblanc <address@hidden>
 Primary key fingerprint: 8E0C 0D6D E026 A278 9278  BF4F 1A93 D552 7379 1C2B

signature.asc
Description: This is a digitally signed message part