Re: Catching Break?

From: Xavier Leroy (Xavier.Leroy@inria.fr)
Date: Mon Feb 08 1999 - 18:16:34 MET


Date: Mon, 8 Feb 1999 18:16:34 +0100
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Ian T Zimmerman <itz@transbay.net>
Subject: Re: Catching Break?
In-Reply-To: <m2k8xwwx1g.fsf@kronstadt.transbay.net>; from Ian T Zimmerman on Fri, Feb 05, 1999 at 10:00:27AM -0800

> As I didn't get any further followups on this topic, I looked at the
> bytecode compiler and interpreter. (As of Ocaml 2.01) I cannot see
> the "function application" case being done:

All function application instructions (APPLY*) perform a check for signal.
The CHECK_SIGNAL instruction is needed only when a check must be
performed elsewhere (i.e. at the head of a loop body).

- Xavier Leroy



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