demexp-dev
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Serge Leblanc
Subject: Re: [Demexp-dev] Re: Interface between OCaml and Cduce
Date: Sun, 12 Dec 2004 22:28:11 +0100

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

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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]