diff --git a/Makefile b/Makefile index f09d544..8abcac6 100644 --- a/Makefile +++ b/Makefile @@ -69,18 +69,6 @@ update_next_tag: NAME_VERSION := sequence.$(VERSION) URL := https://github.com/c-cube/sequence/archive/$(VERSION).tar.gz -release: - git tag -a $(VERSION) -m "Version $(VERSION)." - git push origin $(VERSION) - opam publish prepare $(NAME_VERSION) $(URL) - cp descr $(NAME_VERSION) - echo "submit?" - @read - opam publish submit $(NAME_VERSION) - -NAME_VERSION := sequence.$(VERSION) -URL := https://github.com/c-cube/sequence/archive/$(VERSION).tar.gz - release: git tag -a $(VERSION) -m "Version $(VERSION)." git push origin $(VERSION) diff --git a/sequence.mli b/sequence.mli index 92ffb1d..7c84c6a 100644 --- a/sequence.mli +++ b/sequence.mli @@ -275,7 +275,7 @@ val take_while : ('a -> bool) -> 'a t -> 'a t val fold_while : ('a -> 'b -> 'a * [`Stop | `Continue]) -> 'a -> 'b t -> 'a (** Folds over elements of the sequence, stopping early if the accumulator returns [('a, `Stop)] - @since *) + @since 0.5.5 *) val drop : int -> 'a t -> 'a t (** Drop the [n] first elements of the sequence. Lazy. *) @@ -530,7 +530,6 @@ end include module type of Infix - (** {2 Pretty printing of sequences} *) val pp_seq : ?sep:string -> (Format.formatter -> 'a -> unit) -> diff --git a/sequenceLabels.mli b/sequenceLabels.mli index 84a7cfc..ca4bf90 100644 --- a/sequenceLabels.mli +++ b/sequenceLabels.mli @@ -27,7 +27,7 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. Version of {!Sequence} with labels -@since *) +@since 0.5.5 *) type +'a t = ('a -> unit) -> unit (** A sequence of values of type ['a]. If you give it a function ['a -> unit]