diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2000-01-07 16:47:25 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2000-01-07 16:47:25 +0000 |
| commit | b234d1769cc4de0cbb60ffb9c8add7384664fbb5 (patch) | |
| tree | 3db80bb33adba967dc15c1a2c62b4849adfc18d8 /stdlib/filename.mli | |
| parent | 6374e0a79c40d985f1314a3d39bb351a4fa6c166 (diff) | |
detabisation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2745 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/filename.mli')
| -rw-r--r-- | stdlib/filename.mli | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/filename.mli b/stdlib/filename.mli index b414ee371..1be8239a3 100644 --- a/stdlib/filename.mli +++ b/stdlib/filename.mli @@ -36,7 +36,7 @@ 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 -> suff:string -> string - (* [chop_suffix name suff] removes the suffix [suff] from + (* [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]. *) val chop_extension : string -> string @@ -52,7 +52,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: prefix:string -> suffix: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 @@ -65,7 +65,7 @@ val temp_file: prefix:string -> suffix:string -> string Under MacOS, the name of the temporary directory is given by the environment variable [TempFolder]; if not set, temporary files are created in the current directory. *) -val quote: string -> string;; +val quote : string -> string;; (* Return a quoted version of a file name, suitable for use as - one argument in a shell command line, escaping any shell - meta-characters. *) + one argument in a shell command line, escaping any shell + meta-characters. *) |