[MLton] A few changes proposals for MLton

[Wesley W. Terpstra]

On Mon, Nov 17, 2008 at 11:49 PM, Nicolas Bertolotti <
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/eeafb5da/attachment.htm