Re: more patches (for Unix signal mask)

From: Xavier Leroy (
Date: Thu May 27 1999 - 21:10:53 MET DST

Date: Thu, 27 May 1999 21:10:53 +0200
From: Xavier Leroy <>
To: John Skaller <>,
Subject: Re: more patches (for Unix signal mask)
In-Reply-To: <>; from John Skaller on Wed, May 26, 1999 at 01:16:23AM +1000

> Synchronous exceptions present enough difficulties without
> asychronous ones. A possible systemic difference is that
> while it is common to make synchronous exceptions equivalent
> to non-local gotos, that is, there's no retry, asynchronous exceptions
> should probably permit continuation.

Actually, that's how signal handlers work in Caml (like in C): a
user-specified function is called at the earliest possible moment.
However, that function may choose to raise an exception (that's what I
called and asynchronous exception), and that's where the problems
Joerg mentioned occur.

- Xavier Leroy

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:22 MET