I just discovered there is a related bug in toString: OS.Path.toString{isAbs=false, vol="", arc="/"} does not raise InvalidArc either. -- Andreas Rossberg, rossberg@ps.uni-sb.de Let's get rid of those possible thingies! -- TB