From 54025273dd525cd0df319b4e0eb5f8e2e244827e Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 1 Jul 2014 15:54:15 +0200 Subject: [PATCH] remove trailing whitespace --- sequence.ml | 4 ++-- sequence.mli | 8 ++++---- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/sequence.ml b/sequence.ml index 80631b8..37e13c9 100644 --- a/sequence.ml +++ b/sequence.ml @@ -690,7 +690,7 @@ include Infix let pp_seq ?(sep=", ") pp_elt formatter seq = let first = ref true in iter - (fun x -> + (fun x -> (if !first then first := false else begin Format.pp_print_string formatter sep; @@ -702,7 +702,7 @@ let pp_seq ?(sep=", ") pp_elt formatter seq = let pp_buf ?(sep=", ") pp_elt buf seq = let first = ref true in iter - (fun x -> + (fun x -> if !first then first := false else Buffer.add_string buf sep; pp_elt buf x) seq diff --git a/sequence.mli b/sequence.mli index f8f3d94..9266875 100644 --- a/sequence.mli +++ b/sequence.mli @@ -32,7 +32,7 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. of many combinators. However, for transient iterators, the {!persistent} function is provided, storing elements of a transient iterator in memory; the iterator can then be used several times (See further). - + Note that some combinators also return sequences (e.g. {!group}). The transformation is computed on the fly every time one iterates over the resulting sequence. If a transformation performs heavy computation, @@ -42,7 +42,7 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. until their result is iterated on. For instance, if one calls {!map} on a sequence, one gets a new sequence, but nothing else happens until this new sequence is used (by folding or iterating on it). - + If a sequence is built from an iteration function that is {b repeatable} (i.e. calling it several times always iterates on the same set of elements, for instance List.iter or Map.iter), then @@ -202,7 +202,7 @@ val join : join_row:('a -> 'b -> 'c option) -> 'a t -> 'b t -> 'c t the two elements do not combine. Assume that [b] allows for multiple iterations. *) -val unfoldr : ('b -> ('a * 'b) option) -> 'b -> 'a t +val unfoldr : ('b -> ('a * 'b) option) -> 'b -> 'a t (** [unfoldr f b] will apply [f] to [b]. If it yields [Some (x,b')] then [x] is returned and unfoldr recurses with [b']. *) @@ -367,7 +367,7 @@ module Set : sig (** Create an enriched Set module from the given one *) module Adapt(X : Set.S) : S with type elt = X.elt and type t = X.t - + (** Functor to build an extended Set module from an ordered type *) module Make(X : Set.OrderedType) : S with type elt = X.t end