diff --git a/core/io/pathnames/pathnames.factor b/core/io/pathnames/pathnames.factor index 2d86c2ff6a..b5e317a262 100644 --- a/core/io/pathnames/pathnames.factor +++ b/core/io/pathnames/pathnames.factor @@ -111,6 +111,9 @@ PRIVATE> : prepend-path ( path1 path2 -- path ) swap append-path ; inline +: 3append-path ( path chunk1 chunk2 -- path' ) + [ append-path ] dip append-path ; inline + : file-name ( path -- string ) dup root-directory? [ trim-tail-separators