Re: Basis spec incompatibility for OS.Path.joinDirFile?

I think that this is a bug in the SML/NJ implementation.  The amount of
error checking required by the specification was something that  
increased
during the course of the writing, but the SML/NJ implementation did not
track those changes.

	- John

On Apr 9, 2007, at 4:30 PM, Adam Chlipala wrote:

> 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
> _______________________________________________
> Smlnj-list mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/smlnj-list
>


-------------------------------------------------------------------------
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