summaryrefslogtreecommitdiff
path: root/stdlib/filename.mli
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-11-30 16:07:38 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-11-30 16:07:38 +0000
commit296fc0547052da47bf0e983cab1ce173fa1e8882 (patch)
tree27f621f1e06d4f6493c88993969c4638861390d7 /stdlib/filename.mli
parentca0b21c5adbe660a52e5a9dfe1dda16985fe5f7c (diff)
downloadocaml-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.mli6
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