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 KAA06026; Sat, 29 May 2004 10:37: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 KAA05121 for ; Sat, 29 May 2004 10:37:51 +0200 (MET DST) Received: from [IPv6:::1] (yquem.inria.fr [128.93.8.37]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i4T8bnEV026792 for ; Sat, 29 May 2004 10:37:50 +0200 Mime-Version: 1.0 (Apple Message framework v613) In-Reply-To: <1085772889.3036.70.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> <607E17A0-AF2E-11D8-9582-00039310CAE8@inria.fr> <1085632433.32106.93.camel@pelican.wigram> <5A5E8594-B0C6-11D8-962F-00039310CAE8@inria.fr> <1085772889.3036.70.camel@pelican.wigram> Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <7A9822AA-B14B-11D8-962F-00039310CAE8@inria.fr> Content-Transfer-Encoding: 7bit From: Damien Doligez Subject: Re: [Caml-list] unix.chop_extension Date: Sat, 29 May 2004 10:37:54 +0200 To: caml-list X-Mailer: Apple Mail (2.613) X-Miltered: at nez-perce with ID 40B84BDD.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 doligez:01 doligez:01 precisely:02 unix:02 wrote:03 equivalent:05 equivalent:05 34,:07 operations:08 extension:10 28,:14 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On May 28, 2004, at 21:34, skaller wrote: >> Two names are equivalent if >> they refer to the same file. > > and that characterisation is what I have been disputing. More precisely, two names are equivalent if all file-system operations give the same result and side effects when called with either name. -- 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