16 May
2014
16 May
'14
10:18 p.m.
On Fri, May 16, 2014 at 7:20 AM, Peter Dimov
Yakov Galka wrote:
relative(x,y) returns a path z (unique up to equivalence), if exists,
such that y / z = x (up to equivalence)
If you allow z to be an absolute path, it'd never be unique when x is absolute, because x would be a trivial solution then. This is why I don't particularly like
relative( d:/, c:a/b ) == c:a/b
As proposed, lexically_relative("d:/", "c:a/b") is an error. The semantics are deliberately conservative in that p must be prefixed with base, rather than trying to invent some possible semantics for the case where the two arguments appear to have no lexical connection. --Beman