[MLton] A few changes proposals for MLton

[Nicolas Bertolotti]

The only reason why I do this is that it is not possible to do a < chdir > to "\\pumpkin<file:///\\pumpkin>". This is how Windows works (too bad) and I'm afraid there is no other way to support UNC paths.

I will join the discussion...

________________________________
From: Wesley W. Terpstra [mailto:wesley at terpstra.ca]
Sent: Tuesday, November 18, 2008 12:45 AM
To: Nicolas Bertolotti
Cc: Matthew Fluet; mlton at mlton.org
Subject: Re: [MLton] A few changes proposals for MLton

On Mon, Nov 17, 2008 at 11:49 PM, Nicolas Bertolotti <Nicolas.Bertolotti at mathworks.fr<mailto:Nicolas.Bertolotti at mathworks.fr>> wrote:
I am sorry but I don't really understand what you mean with < You should bring up having UNC volumes as that is currently forbidden by the definition > (maybe it is just a problem with my English understanding).

Your patch changes OS.Path.fromString "\\pumpkin\media\foo" to return { vol="\\pumpkin\media", isAbs=true, arcs=["foo"] }. The problem with that is that the standard <http://mlton.org/basis/os-path.html> states "Under Microsoft Windows, the valid volume names have the form "a:", "A:", "b:", "B:", etc". That list pretty clearly doesn't intend to allow \\pumpkin\media as a volume. There was a discussion going on between Andreas and John Reppy (the basis specification editor) about the OS.Path structure. I was proposing that you join the discussion and see if the basis specification could be changed to allow vol="\\pumpkin\media" the way your patch does.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mlton.org/pipermail/mlton/attachments/20081118/baa605d0/attachment.htm