Skip to content

Commit

Permalink
update changes
Browse files Browse the repository at this point in the history
  • Loading branch information
pqwy committed Apr 9, 2019
1 parent 849f7bc commit beeaf93
Show file tree
Hide file tree
Showing 4 changed files with 14 additions and 3 deletions.
3 changes: 2 additions & 1 deletion .travis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,11 +5,12 @@ sudo: required
env:
global:
- PACKAGE="psq"
- TESTS=false
matrix:
- OCAML_VERSION=4.03
- OCAML_VERSION=4.04
- OCAML_VERSION=4.05
- OCAML_VERSION=4.06
- OCAML_VERSION=4.07
- OCAML_VERSION=4.07 TESTS=true
notifications:
email: false
9 changes: 9 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,12 @@
## v0.2.0 2019-04-09

Semantics cleanup.

- flipped args to `adjust` **breaking**
- `of_list` now always chooses the rightmost binding
- `update`, `(++)`, `add_seq`, `to_priority_list`
- somewhat faster

## v0.1.1 2019-04-06

- `Seq.t` conversions
Expand Down
3 changes: 2 additions & 1 deletion psq.opam
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,8 @@ dev-repo: "git+https://github.com/pqwy/psq.git"
bug-reports: "https://github.com/pqwy/psq/issues"
synopsis: "Functional Priority Search Queues"
build: [ [ "dune" "subst" ] {pinned}
[ "dune" "build" "-p" name "-j" jobs ] ]
[ "dune" "build" "-p" name "-j" jobs ]
[ "dune" "runtest" "-p" name ] {with-test} ]
depends: [
"ocaml" {>="4.03.0"}
"dune" {build & >= "1.7"}
Expand Down
2 changes: 1 addition & 1 deletion test/test.ml
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ let psq = QCheck.(
let psq_w_any_key = QCheck.(pair psq small_nat)

let test name gen p =
QCheck.Test.make ~count:100 ~name gen p |> QCheck_alcotest.to_alcotest
QCheck.Test.make ~count:200 ~name gen p |> QCheck_alcotest.to_alcotest

let () = Alcotest.run "psq" [

Expand Down

0 comments on commit beeaf93

Please sign in to comment.