|
From: | Serge Leblanc |
Subject: | Re: [Demexp-dev] Re: Interface between OCaml and Cduce |
Date: | Sun, 12 Dec 2004 22:28:11 +0100 |
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?
-- 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
[Prev in Thread] | Current Thread | [Next in Thread] |