diff options
| author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2001-12-04 21:30:02 +0000 |
|---|---|---|
| committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2001-12-04 21:30:02 +0000 |
| commit | 1ae43c02ae4a868e8105a53add60db8f3afff8c6 (patch) | |
| tree | 2ded29da463c328e49bbd598662fc0920115a730 /stdlib | |
| parent | ca170de2a3c07993f94e6a558864442226a0d25f (diff) | |
| download | ocaml-1ae43c02ae4a868e8105a53add60db8f3afff8c6.tar.gz | |
correction typo
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4104 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/arrayLabels.mli | 2 | ||||
| -rw-r--r-- | stdlib/list.mli | 2 | ||||
| -rw-r--r-- | stdlib/listLabels.mli | 2 | ||||
| -rw-r--r-- | stdlib/string.mli | 2 | ||||
| -rw-r--r-- | stdlib/stringLabels.mli | 2 |
5 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/arrayLabels.mli b/stdlib/arrayLabels.mli index 76f69dd16e..6d2ccdc074 100644 --- a/stdlib/arrayLabels.mli +++ b/stdlib/arrayLabels.mli @@ -76,7 +76,7 @@ val append : 'a array -> 'a array -> 'a array concatenation of the arrays [v1] and [v2]. *) val concat : 'a array list -> 'a array -(** Same as [Array.append], but catenates a list of arrays. *) +(** Same as [Array.append], but concatenates a list of arrays. *) val sub : 'a array -> pos:int -> len:int -> 'a array (** [Array.sub a start len] returns a fresh array of length [len], diff --git a/stdlib/list.mli b/stdlib/list.mli index a53b7157c1..ef44ec9417 100644 --- a/stdlib/list.mli +++ b/stdlib/list.mli @@ -50,7 +50,7 @@ val append : 'a list -> 'a list -> 'a list operator is not tail-recursive either. *) val rev_append : 'a list -> 'a list -> 'a list -(** [List.rev_append l1 l2] reverses [l1] and catenates it to [l2]. +(** [List.rev_append l1 l2] reverses [l1] and concatenates it to [l2]. This is equivalent to {!List.rev}[ l1 @ l2], but [rev_append] is tail-recursive and more efficient. *) diff --git a/stdlib/listLabels.mli b/stdlib/listLabels.mli index 97240dd6b8..81510c3fba 100644 --- a/stdlib/listLabels.mli +++ b/stdlib/listLabels.mli @@ -51,7 +51,7 @@ val append : 'a list -> 'a list -> 'a list operator is not tail-recursive either. *) val rev_append : 'a list -> 'a list -> 'a list -(** [List.rev_append l1 l2] reverses [l1] and catenates it to [l2]. +(** [List.rev_append l1 l2] reverses [l1] and concatenates it to [l2]. This is equivalent to {!ListLabels.rev}[ l1 @ l2], but [rev_append] is tail-recursive and more efficient. *) diff --git a/stdlib/string.mli b/stdlib/string.mli index b16fbe2dd0..b59dee8ad2 100644 --- a/stdlib/string.mli +++ b/stdlib/string.mli @@ -72,7 +72,7 @@ val blit : string -> int -> string -> int -> int -> unit do not designate a valid substring of [dst]. *) val concat : string -> string list -> string -(** [String.concat sep sl] catenates the list of strings [sl], +(** [String.concat sep sl] concatenates the list of strings [sl], inserting the separator string [sep] between each. *) val iter : (char -> unit) -> string -> unit diff --git a/stdlib/stringLabels.mli b/stdlib/stringLabels.mli index b7a83d116d..9c6d2dbcfb 100644 --- a/stdlib/stringLabels.mli +++ b/stdlib/stringLabels.mli @@ -73,7 +73,7 @@ val blit : do not designate a valid substring of [dst]. *) val concat : sep:string -> string list -> string -(** [String.concat sep sl] catenates the list of strings [sl], +(** [String.concat sep sl] concatenates the list of strings [sl], inserting the separator string [sep] between each. *) val iter : f:(char -> unit) -> string -> unit |