diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-11-30 16:07:38 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-11-30 16:07:38 +0000 |
commit | 296fc0547052da47bf0e983cab1ce173fa1e8882 (patch) | |
tree | 27f621f1e06d4f6493c88993969c4638861390d7 /stdlib/filename.mli | |
parent | ca0b21c5adbe660a52e5a9dfe1dda16985fe5f7c (diff) | |
download | ocaml-296fc0547052da47bf0e983cab1ce173fa1e8882.tar.gz |
Merge olabl branch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/filename.mli')
-rw-r--r-- | stdlib/filename.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/filename.mli b/stdlib/filename.mli index cf9c931e5e..3cc7b41da4 100644 --- a/stdlib/filename.mli +++ b/stdlib/filename.mli @@ -29,10 +29,10 @@ val is_implicit : string -> bool with an explicit reference to the current directory ([./] or [../] in Unix), [false] if it starts with an explicit reference to the root directory or the current directory. *) -val check_suffix : string -> string -> bool +val check_suffix : string -> suff:string -> bool (* [check_suffix name suff] returns [true] if the filename [name] ends with the suffix [suff]. *) -val chop_suffix : string -> string -> string +val chop_suffix : string -> suff:string -> string (* [chop_suffix name suff] removes the suffix [suff] from the filename [name]. The behavior is undefined if [name] does not end with the suffix [suff]. *) @@ -49,7 +49,7 @@ val dirname : string -> string current directory to [dirname name] (with [Sys.chdir]), references to [basename name] (which is a relative file name) designate the same file as [name] before the call to [Sys.chdir]. *) -val temp_file: string -> string -> string +val temp_file: prefix:string -> suffix:string -> string (* [temp_file prefix suffix] returns the name of a non-existent temporary file in the temporary directory. The base name of the temporary file is formed by concatenating |