From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id EAA23966; Sun, 10 Jun 2001 04:42:13 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 EAA23949 for ; Sun, 10 Jun 2001 04:42:12 +0200 (MET DST) Received: from smtp10.atl.mindspring.net (smtp10.atl.mindspring.net [207.69.200.246]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f5A2gBP15997 for ; Sun, 10 Jun 2001 04:42:11 +0200 (MET DST) Received: from dylan (1Cust206.tnt4.tucson.az.da.uu.net [63.11.145.206]) by smtp10.atl.mindspring.net (8.9.3/8.8.5) with SMTP id WAA10983 for ; Sat, 9 Jun 2001 22:42:05 -0400 (EDT) Message-ID: <000901c0f157$41202b90$210148bf@dylan> From: "David McClain" To: Subject: [Caml-list] Evaluation Order Date: Sat, 9 Jun 2001 19:44:17 -0700 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.00.2919.6600 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6600 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Earlier, I stated that there were no reference vars in the program. That's strictly true only of the OCaml portion of the code. However, the C/C++ core does maintain a mutable state and that is the reason for evaluation order dependencies. It would seem that the compiler could automatically spot side effecting functions and propagate that attribute by noticing when reference vars are modified, when arrays and structures are mutated, etc. Hence explicit declaration should be unnecessary -- except! for those declared "external" routines that have side effects. Those need to be flagged explicitly to the compiler. - DM ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr