From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id IAA08434 for caml-redistribution; Tue, 9 Feb 1999 08:37:40 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA03194 for <caml-list@pauillac.inria.fr>; Mon, 8 Feb 1999 18:16:38 +0100 (MET)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id SAA23964;
	Mon, 8 Feb 1999 18:16:34 +0100 (MET)
Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA30112; Mon, 8 Feb 1999 18:16:34 +0100 (MET)
Message-ID: <19990208181634.10967@pauillac.inria.fr>
Date: Mon, 8 Feb 1999 18:16:34 +0100
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Ian T Zimmerman <itz@transbay.net>
Cc: caml-list@inria.fr
Subject: Re: Catching Break?
References: <199901251843.KAA23637@kronstadt.transbay.net> <19990126012435.21454@pauillac.inria.fr> <m2k8xwwx1g.fsf@kronstadt.transbay.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Mailer: Mutt 0.89.1
In-Reply-To: <m2k8xwwx1g.fsf@kronstadt.transbay.net>; from Ian T Zimmerman on Fri, Feb 05, 1999 at 10:00:27AM -0800
Sender: weis

> 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