[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