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 SAA24816; Wed, 26 May 2004 18:04:32 +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 SAA25064 for ; Wed, 26 May 2004 18:04:31 +0200 (MET DST) Received: from [128.93.8.158] (macaque.inria.fr [128.93.8.158]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i4QG4UEV000403 for ; Wed, 26 May 2004 18:04:30 +0200 Mime-Version: 1.0 (Apple Message framework v613) In-Reply-To: <1085586637.32106.45.camel@pelican.wigram> 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> Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <607E17A0-AF2E-11D8-9582-00039310CAE8@inria.fr> Content-Transfer-Encoding: 7bit From: Damien Doligez Subject: Re: [Caml-list] unix.chop_extension Date: Wed, 26 May 2004 18:04:32 +0200 To: caml-list X-Mailer: Apple Mail (2.613) X-Miltered: at nez-perce with ID 40B4C00E.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; damien:01 damien:01 caml-list:01 chop:01 predicate:01 implying:01 semantics:01 formed:98 doligez:01 doligez:01 filesystem:02 unix:02 wrote:03 extension:10 obviously:10 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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. Obviously, the word "exist" is not used in filesystem semantics with the meaning that you are implying. -- Damien ------------------- 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