From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 8491CBC32 for ; Mon, 7 Mar 2005 02:32:48 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j271WlOp007335 for ; Mon, 7 Mar 2005 02:32:47 +0100 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 CAA08112 for ; Mon, 7 Mar 2005 02:32:47 +0100 (MET) Received: from ciao.gmane.org (main.gmane.org [80.91.229.2]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j271WkIa007332 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Mon, 7 Mar 2005 02:32:46 +0100 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1D871V-00007p-Ar for caml-list@inria.fr; Mon, 07 Mar 2005 02:27:05 +0100 Received: from 67.71.25.242 ([67.71.25.242]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 07 Mar 2005 02:27:05 +0100 Received: from monnier by 67.71.25.242 with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 07 Mar 2005 02:27:05 +0100 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Stefan Monnier Subject: Re: exception safety / RAII ? Date: Sun, 06 Mar 2005 20:32:27 -0500 Message-ID: <874qfofdho.fsf-monnier+gmane.comp.lang.caml.inria@gnu.org> References: <293072a520e3724a0497e6456a8675be@mac.com> <200503070003.52747.jon@jdh30.plus.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Complaints-To: usenet@sea.gmane.org X-Gmane-NNTP-Posting-Host: 67.71.25.242 User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) Cancel-Lock: sha1:TXQM8fIKhQyrOdE1vcZm0OSMkpQ= Sender: news X-Gmane-MailScanner: Found to be clean X-Gmane-MailScanner: Found to be clean X-MailScanner-From: gclci-caml-list@m.gmane.org X-MailScanner-To: caml-list@inria.fr X-Miltered: at nez-perce with ID 422BAF3F.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 422BAF3E.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; umontreal:01 garbage:01 exception:01 writes:01 filesystem:02 probably:05 nfs:06 practice:08 cases:08 file:08 file:08 actually:10 closed:11 writing:11 collector:12 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=1.6 required=5.0 tests=RCVD_BY_IP,RCVD_NUMERIC_HELO autolearn=disabled version=3.0.2 X-Spam-Level: * > In most cases you probably won't care when a file is closed after writing to > it, so you can just rely on the garbage collector. Very bad practice in (e.g.) an NFS world where the filesystem makes no guarantee about file writes until you actually close the file. Stefan