mirror of
https://github.com/c-cube/ocaml-containers.git
synced 2025-12-06 11:15:31 -05:00
improve test speed and update some doc
This commit is contained in:
parent
35f9b32a5b
commit
44f6c748aa
2 changed files with 4 additions and 5 deletions
|
|
@ -484,7 +484,7 @@ Beforehand, check `grep deprecated -r src` to see whether some functions
|
|||
can be removed.
|
||||
|
||||
. `make test`
|
||||
. update version in `_oasis`
|
||||
. update version in `containers.opam`
|
||||
. `make update_next_tag` (to update `@since` comments; be careful not to change symlinks)
|
||||
. check status of modules (`{b status: foo}`) and update if required;
|
||||
removed deprecated functions, etc.
|
||||
|
|
@ -492,8 +492,7 @@ can be removed.
|
|||
. commit the changes
|
||||
. `git checkout stable`
|
||||
. `git merge master`
|
||||
. `oasis setup; make test doc`
|
||||
. update `opam` (the version field; remove `oasis` in deps)
|
||||
. `make test doc`
|
||||
. tag, and push both to github
|
||||
. `opam pin add containers https://github.com/c-cube/ocaml-containers.git#<release>`
|
||||
. new opam package: `opam publish prepare; opam publish submit`
|
||||
|
|
|
|||
|
|
@ -258,7 +258,7 @@ let flat_map f l =
|
|||
)
|
||||
|
||||
(*$Q
|
||||
Q.(pair (fun1 Observable.int (list int)) (list int)) (fun (f,l) -> \
|
||||
Q.(pair (fun1 Observable.int (small_list int)) (small_list int)) (fun (f,l) -> \
|
||||
let f x = Q.Fn.apply f x in \
|
||||
let f' x = f x |> of_list in \
|
||||
of_list l |> flat_map f' |> to_list = CCList.(flat_map f l))
|
||||
|
|
@ -450,7 +450,7 @@ let repeat n l =
|
|||
|
||||
|
||||
(*$Q
|
||||
Q.(pair small_int (list int)) (fun (n,l) -> \
|
||||
Q.(pair small_int (small_list int)) (fun (n,l) -> \
|
||||
of_list l |> repeat n |> to_list = CCList.(repeat n l))
|
||||
*)
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue