[MLton] Bug report: OS.Path.joinDirFile does not check argument

Andreas Rossberg rossberg@ps.uni-sb.de
Wed, 02 Feb 2005 20:31:46 +0100


Here is another minor bug: OS.Path.joinDirFile does not check the 
validity of its file argument. I.e.,

   OS.Path.joinDirFile{dir="a", file="b/c"}

happily delivers "a/b/c" (on Linux), although it is specified to raise 
InvalidArc if the file is not an arc.

Regards,

   - Andreas

-- 
Andreas Rossberg, rossberg@ps.uni-sb.de

Let's get rid of those possible thingies!  -- TB