X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=stdlib%2Fprelude.gl;h=d496d71212d40b936fe17a193273f633bbb8438b;hb=9607fb2d34d679e14040f9132625a53f1de5200a;hp=8315b6fa5c84336a47c1a898c988638dda659f0c;hpb=333e7443bbcb0dc07b113d70b9d52cdabfef5ae9;p=goals.git diff --git a/stdlib/prelude.gl b/stdlib/prelude.gl index 8315b6f..d496d71 100644 --- a/stdlib/prelude.gl +++ b/stdlib/prelude.gl @@ -69,6 +69,22 @@ pure function subst (from, to, text) returning string = @{ #---------------------------------------------------------------------- # File functions. +# Base name. +pure function basename (name) returning string = @{ + basename %name +} + +# Directory name. +pure function dirname (name) returning string = @{ + dirname %name +} + +# File extension. +pure function extension (name) returning string = @{ + name=%name + echo "${name##*.}" +} + # Expand a wildcard into a list of filenames. # # This function is probably not "pure" since it depends on the