Mathieu Barbin

Ah, thanks, I missed that other project. @art-w given that you own both, I'm hoping you can use special admin powers to migrate the issue from one to the other...

Thanks @Arogbonlo that is sound advice. In this instance I've struggled in my attempts to remove the conceptually equivalent use of `Obj.magic` in my project, without success. @patricoferris I also...

I can offer to have a look if you'd like since I'm already working on similar ideas for provider. No worries if you have other plans though, whatever makes most...

I was inspired by that famous TV show and decided to phone a friend on that one. This is joint work with @v-gb. I propose to use this [PR](https://github.com/mbarbin/provider/pull/34)[^1] as...

I started a [draft](https://github.com/mbarbin/eio/tree/resource.type-safe-draft) following a similar approach. I counted 22 `Resource.pi` extended constructors in the project. - [x] 17/22 were converted with the new `Create` functor - [x] 1/22...

> I'm wondering about another possibility: what if we require users to provide a function (as above, but returning an option), and convert it to an array in `Resource.handler` by...

A little update on this. I continued to spend some time on this PR but I have nothing to show for it. I did try to thread through that extra...

Edit: Another tentative approach that keeps the polymorphic convenience usage at call site without casting, and built on ocaml object, hopefully staying reasonably close to the current Eio. This is...

Hi! I'm a bisect_ppx user too. > any help in how to view the instrumented code would be valued Assuming you use dune - to help looking at the instrumented...

I created a [preview package](https://github.com/mbarbin/ppxlib/releases/tag/0.32.2-preview.1) that includes this change, and tested it in a [PR](https://github.com/mbarbin/error-log/pull/5) in a project that could benefits from that. I was able to remove my hack...