Basis spec incompatibility for OS.Path.joinDirFile?

Adam Chlipala <[email protected]> Mon, 09 Apr 2007 14:30:24 -0700
Newsgroups gmane.comp.lang.sml.smlnj
Message-ID <[email protected]>
According to my reading of the basis spec, evaluating this expression 
should raise InvalidArc:
    OS.Path.joinDirFile {dir = "a", file = "b/c"}

However, in SML/NJ 110.60, it acts like OS.Path.concat, returning the 
two arguments separated by "/".  InvalidArc is raised as expected in MLton.

The online Basis manual says:

joinDirFile {dir, file}
    creates a whole path out of a directory and a file by extending the 
path dir with the arc file. If the string file does not correspond to an 
arc, raises InvalidArc. The exception Size is raised if the resulting 
string would have size greater than String.maxSize.

Is this a bug in SML/NJ's implementation?

-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV