Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

4 packages from c-cube/qcheck at 0.10 #14502

Conversation

c-cube
Copy link
Contributor

@c-cube c-cube commented Jul 13, 2019

This pull-request concerns:
-qcheck.0.10: Compatibility package for qcheck
-qcheck-alcotest.0.10: Alcotest backend for qcheck
-qcheck-core.0.10: Core qcheck library
-qcheck-ounit.0.10: OUnit backend for qcheck



🐫 Pull-request generated by opam-publish v2.0.0

@camelus
Copy link
Contributor

camelus commented Jul 14, 2019

☀️ All lint checks passed 7c530df
  • These packages passed lint tests: qcheck-alcotest.0.10, qcheck-core.0.10, qcheck-ounit.0.10, qcheck.0.10

☀️ Installability check (+4)
  • new installable packages (4): qcheck.0.10 qcheck-alcotest.0.10 qcheck-core.0.10 qcheck-ounit.0.10

@kit-ty-kate
Copy link
Member

There are also several revdep failure that can be fixed:
oasis2opam > 0.6:

# ocamlfind: Package `qcheck.ounit' not found

stringext 1.4.{0,1,2}:

# ocamlfind: Package `qcheck.ounit' not found

syslog-message 0.0.*:

- File "test/test_syslog_message.ml", line 4, characters 15-35:
- 4 | let priority = QCheck.Arbitrary.int 184
-                    ^^^^^^^^^^^^^^^^^^^^
- Error: Unbound module QCheck.Arbitrary

@c-cube c-cube force-pushed the opam-publish-qcheck-qcheck-alcotest-qcheck-core-qcheck-ounit.0.10 branch from 5d406f6 to 7c530df Compare July 15, 2019 00:27
@mseri
Copy link
Member

mseri commented Jul 16, 2019

I'll deal with the revdeps in a separate PR

@mseri mseri merged commit 220787d into ocaml:master Jul 16, 2019
@c-cube
Copy link
Contributor Author

c-cube commented Jul 16, 2019

Thanks @kit-ty-kate and @mseri ! Sorry for creating more work for y'all.

@mseri mseri mentioned this pull request Jul 16, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants