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