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

Suggestions for #177 #21

Merged
merged 3 commits into from
Nov 13, 2023
Merged

Suggestions for #177 #21

merged 3 commits into from
Nov 13, 2023

Conversation

shym
Copy link
Collaborator

@shym shym commented Nov 10, 2023

A couple of suggestions for ocaml-gospel#177. The commit that suggests copying Lwt_dllist might be suggest to use a fixed version for the lwt-dllist dependency.

As the `Lwt_dllist` module must be copied, the result no longer needs to
bind with the library
Instead of copy-pasting a file from the `lwt-dllist`, ask dune to copy
it when needed
@n-osborne n-osborne merged commit 70aa2ce into n-osborne:lwt-dllist Nov 13, 2023
1 of 2 checks passed
@shym shym deleted the lwt-dllist-bis branch November 13, 2023 09:43
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