[MLton] cvs commit: OS.Path.joinDirFile does not check argument

[Stephen Weeks]

> the empty arc is an arc and "" is the string representation of
> the empty arc.  Hence,
>   OS.Path.joinDirFile {dir = "", file =""}
> is perfectly fine. 

Got it.  Fixed.