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 GAA27116; Thu, 27 May 2004 06:55:52 +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 GAA26972 for ; Thu, 27 May 2004 06:55:51 +0200 (MET DST) Received: from glockenspiel.complete.org (glockenspiel.complete.org [69.10.152.57]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i4R4toEV019836; Thu, 27 May 2004 06:55:50 +0200 Received: from localhost (localhost [127.0.0.1]) by glockenspiel.complete.org (Postfix) with ESMTP id B9E173F0; Wed, 26 May 2004 23:55:53 -0500 (CDT) Received: from glockenspiel.complete.org ([127.0.0.1]) by localhost (glockenspiel [127.0.0.1]) (amavisd-new, port 10025) with ESMTP id 11892-07; Wed, 26 May 2004 23:55:51 -0500 (CDT) Received: from erwin.complete.org (unknown [12.149.180.20]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client CN "erwin.complete.org", Issuer "John Goerzen -- Root CA" (verified OK)) by glockenspiel.complete.org (Postfix) with ESMTP id 94974E2; Wed, 26 May 2004 23:55:51 -0500 (CDT) Received: from heinrich.complete.org (heinrich.lan.complete.org [10.200.0.15]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client CN "christoph.complete.org", Issuer "John Goerzen -- Root CA" (verified OK)) by erwin.complete.org (Postfix) with ESMTP id A559FFB6; Wed, 26 May 2004 23:55:39 -0500 (CDT) Received: by heinrich.complete.org (Postfix, from userid 1000) id 4BF06A997; Wed, 26 May 2004 23:56:40 -0500 (CDT) Date: Wed, 26 May 2004 23:56:40 -0500 From: John Goerzen To: skaller Cc: Damien Doligez , caml-list Subject: Re: [Caml-list] unix.chop_extension Message-ID: <20040527045640.GC23183@complete.org> References: <1085429093.6065.336.camel@pelican.wigram> <20040526110508.A17806@pauillac.inria.fr> <1085567689.25587.202.camel@pelican.wigram> <8026DB99-AF18-11D8-99ED-00039310CAE8@inria.fr> <1085586637.32106.45.camel@pelican.wigram> <607E17A0-AF2E-11D8-9582-00039310CAE8@inria.fr> <1085632433.32106.93.camel@pelican.wigram> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1085632433.32106.93.camel@pelican.wigram> User-Agent: Mutt/1.5.5.1+cvs20040105i X-Virus-Scanned: by amavisd-new-20030616-p7 (Debian) at complete.org X-Miltered: at nez-perce with ID 40B574D6.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 chop:01 2004:99 2004:99 damien:01 predicate:01 reclaimed:01 semantics:01 formed:98 doligez:01 unix:02 string:03 string:03 04,:03 wrote:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, May 27, 2004 at 02:33:54PM +1000, skaller wrote: > On Thu, 2004-05-27 at 02:04, Damien Doligez wrote: > > On May 26, 2004, at 17:50, skaller wrote: > > > > > This is mathematically an ill formed statement. > > > > > > You cannot say P(x), when x doesn't exist, > > > for a predicate P. That could lead to a contradiction. > > > > And yet... You can open a file that doesn't exist. > > No you can't. You can call the open function > with a string for any string. For some strings > a file will be opened. For other strings > no file is opened, you get an error. Well. You can have an open file that doesn't exist but you can't open a file that doesn't exist. If a file is unlinked after it's been opened, it is no longer accessible from any name but its blocks are not reclaimed until after every process that has it open has closed it. Thus the open fd remains valid. (these semantics may differ on non-POSIX platforms) -- John ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners