Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] unix.chop_extension
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Damien Doligez <damien.doligez@i...>
Subject: Re: [Caml-list] unix.chop_extension
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 Archives:
Bug reports: FAQ:
Beginner's list: