From 1beab5268bfdc09ac622cf2316db060d5794f830 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 23 Jun 2014 23:29:47 +0200 Subject: [PATCH] changed comments, add _tags file --- core/CCHash.ml | 2 +- core/CCSequence.mli | 4 ++-- core/_tags | 1 + 3 files changed, 4 insertions(+), 3 deletions(-) create mode 100644 core/_tags diff --git a/core/CCHash.ml b/core/CCHash.ml index 6edbe8c1..5c6b3885 100644 --- a/core/CCHash.ml +++ b/core/CCHash.ml @@ -50,7 +50,7 @@ let finish s = let apply f x = finish (f x init) -(** {2 Combinateurs} *) +(** {2 Combinators} *) let int_ i s = _combine s (Int64.of_int i) let bool_ x s = _combine s (if x then 1L else 2L) diff --git a/core/CCSequence.mli b/core/CCSequence.mli index 9ac6c616..b6e1a4a4 100644 --- a/core/CCSequence.mli +++ b/core/CCSequence.mli @@ -53,8 +53,8 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. of this memory structure, cheaply and repeatably. *) type +'a t = ('a -> unit) -> unit - (** Sequence abstract iterator type, representing a finite sequence of - values of type ['a]. *) + (** Sequence iterator type, representing a finite sequence of values + of type ['a] that one can iterate on. *) type +'a sequence = 'a t diff --git a/core/_tags b/core/_tags new file mode 100644 index 00000000..1ebb483c --- /dev/null +++ b/core/_tags @@ -0,0 +1 @@ +: inline(20)