mirror of
https://github.com/c-cube/iter.git
synced 2025-12-06 03:05:29 -05:00
fix makefile and doc
This commit is contained in:
parent
b74312090d
commit
af53438e35
3 changed files with 2 additions and 15 deletions
12
Makefile
12
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)
|
||||
|
|
|
|||
|
|
@ -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) ->
|
||||
|
|
|
|||
|
|
@ -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]
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue