From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA17043 for caml-red; Tue, 17 Oct 2000 17:58:47 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA09282 for ; Tue, 17 Oct 2000 11:19:23 +0200 (MET DST) Received: from ext.lri.fr (ext.lri.fr [129.175.15.4]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id e9H9JMf20989 for ; Tue, 17 Oct 2000 11:19:23 +0200 (MET DST) Received: from pc802.lri.fr (IDENT:root@pc802 [129.175.8.112]) by ext.lri.fr (8.9.3/jtpda-5.3.2) with ESMTP id LAA21935 for ; Tue, 17 Oct 2000 11:19:22 +0200 (MET DST) Received: from pc802.lri.fr by pc802.lri.fr (8.9.3/feuille) with ESMTP id LAA20823 for ; Tue, 17 Oct 2000 11:19:21 +0200 Message-Id: <200010170919.LAA20823@pc802.lri.fr> X-Mailer: exmh version 2.1.1 10/15/1999 To: caml-list@inria.fr Subject: Re: Undefined evaluation order In-Reply-To: Your message of "Mon, 16 Oct 2000 18:29:40 +0200." <39EB2CF4.DFE8F003@univ-savoie.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 Content-Transfer-Encoding: 8bit Date: Tue, 17 Oct 2000 11:19:21 +0200 From: Ralf Treinen Sender: weis@pauillac.inria.fr Christophe Raffalli wrote: > > I guess that it is does not need to much work to come up with a correct > type system infering such types (I may be wrong ... ). > And knowing if an expression has side effects could be usefull for the > compiler in other cases ? You will have to consider exceptions too: if both evaluation of e1 and e2 raise a different exception then the exception raised by (f e1 e2) depends on the evaluation order. -Ralf. -- ------------------------------------------------------------- Ralf Treinen, L.R.I. Bât. 490, Université Paris-Sud, F91405 Orsay cedex, France. http://www.lri.fr/~treinen