-
Notifications
You must be signed in to change notification settings - Fork 15
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
Add an Eio backend #25
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
Looks like the CI fails. |
My apologies, I tried to fix it however I ran into a more general problem with how dependencies are handled:
The first and less friendly way to do things could be to only run the CI on with One of the more reasonable options that come to my mind, would be to dissociate from the way What sounds better to you ? Do you have any oppositions to such an idea ? |
No idea. I haven't used OCaml (somewhat regretfully) in years and I don't want to spend any more effort on this PR than is absolutely necessary. |
I see, thank you for your time, I'll go for what seems best and commit when it is ready |
8094802
to
7fb1ef2
Compare
This PR should be done, sorry for the noise, I fought for a bit with the github actions in order to make the CI run properly:
Thank you for your time |
#26 should fix it, sorry |
Any chance to make a release with the eio support? |
Yep, let me remember how to do it... @samoht Would you like to become a collaborator in this repo? It's been a while since I actually used OCaml, and I trust you to do a good job. |
I can do it if we are ok with it |
If I'm handing somebody write access for a reasonably popular package I'd like it to be someone I know; I do know @samoht (I think we've been in the same OCaml circles for like a decade, at least?) but I don't know you. Nothing personal. |
Sorry, by that I meant if we are okay with the current state of the repository, I believe that I already have write access to the repository as a maintainer. |
Wow, my memory really is awful sometimes. I'm sorry, and you're right. |
No worries at all, would you prefer me to do it or @Samoth ? Both are obviously okay with me |
I'm fine either way. I don't remember most of the last 10 months because of a few unfortunate events that happened to me. I have now reconstructed what happened with this repository. Go ahead and make a release, please! |
Noted, I will do the release then. I hope everything will be okay for you, take care ! |
This PR aims to provide a backend for
Eio
in the same way it is currently done forLwt
: The same interface was used, with only minor changes in the code and was written by @patricoferris.An optional dependency to
Iomux
was added as well for the Eio backend, as Eio itself does not (yet ?) provide a function to check if a file descriptor is readable: It was done here usingIomux.Poll
.Thank you for your time, Gwen