[MLton] Windows ports and paths
Andreas Rossberg
rossberg@ps.uni-sb.de
Mon, 02 May 2005 17:56:42 +0200
Wesley W. Terpstra wrote:
> On Mon, May 02, 2005 at 05:12:43PM +0200, Andreas Rossberg wrote:
>
>>>I also special-cased concat (_, "") to behave as before.
>>
>>Mh, why is that preferable, when it deviates from the spec?
>
> It doesn't deviate..?
> The previous version didn't keep a "/" on the end.
The spec's description implies it shouldn't keep it, so that would be
correct.
> ie: joinDirFile ("foo", "") = "foo" instead of "foo/"
Well, joinDirFile is a different function. Its second argument is
interpreted as an arc, not a path (*). It has no direct relation to concat.
- Andreas
(*) As an arc, "" is the empty arc, but as a path it's a path with no
arcs at all. At least that's what the spec says.
--
Andreas Rossberg, rossberg@ps.uni-sb.de
Let's get rid of those possible thingies! -- TB