Re: Proposal for a new I/O library design

Ben Rudiak-Gould wrote:

I don't think this is fatal. The important part of File identity is that two File values which compare equal necessarily denote the same file, not the converse. [...]

Huh? I thought it was the other way round. What is this your identity good for? Cheers, S.