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

Remove the unnecessary dependency on bytes #285

Merged
merged 1 commit into from
Oct 3, 2023
Merged

Conversation

shym
Copy link
Contributor

@shym shym commented Sep 29, 2023

If I understand correctly, the bytes dependency is really only useful to support older versions of OCaml (before 4.02), but QCheck requires at least 4.08 anyway.
So this PR proposes to drop that dependency altogether.

To give this a bit more context, this PR comes from wanting to run some tests that use QCheck core in a CI setup where Opam is not an option (yet). So this is working by vendoring QCheck and relying on dune’s modularity. For some reason, dune resolves correctly the unix library required in src/core/dune but not bytes. With this PR, the dependencies of that CI setup drop to only OCaml and dune.

Copy link
Collaborator

@jmid jmid left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks!
Should we add a CHANGELOG entry to let end-users know of the change? 🤔

@shym
Copy link
Contributor Author

shym commented Oct 3, 2023

I can add an entry (I would add a new “NEXT RELEASE” entry for that, I suppose?). But, as it should be really transparent to users (removing dependencies is easy), would that be a notable change?

@jmid
Copy link
Collaborator

jmid commented Oct 3, 2023

If nothing else, I suppose it could be handy to keep track of which version dropped the dependency 🤷

`bytes` is provided by all the required OCaml versions, so drop it from
the dependencies
This makes it easy to compile QCheck (at least core) without a
fully-working Opam environment
@shym
Copy link
Contributor Author

shym commented Oct 3, 2023

I added an changelog entry and rebased on main.

@jmid jmid merged commit 9672fe6 into c-cube:main Oct 3, 2023
11 checks passed
@shym shym deleted the no-bytes branch October 3, 2023 15:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants