Daniel Urban
Daniel Urban
I think I'm _starting_ to understand the problem. But I have more questions :-) 1. The composability thing: I feel I vaguely understand it, but it's still a little unclear....
@armanbilge > essentially, that cancelable may leak (acquired) resources I don't think that's entirely fair to say. It's like saying that `flatMap` may leak resources: sure, but that's why you...
I think it was this: https://github.com/typelevel/cats-effect/actions/runs/4968506303/jobs/8891145017#step:24:4926 So yeah, JS.
> This makes it feasible to start publishing some bootleg builds of Cats etc. To have Cats on 0.5.0-SNAPSHOT, we'd first need a release of munit on 0.5.0-SNAPSHOT, right? Or...
You're right. As you say, we can't error, and can't cancel. (And obviously we can't go on.) So all this PR does is that we reliably throw the exception if...
Yes, that's exactly it. But the more I think about this, the more I think that a hanging fiber might be the least bad thing. (Hanging fibers are obviously bad,...
Fixed by #4038.
I think the `MonadCancel` scaladoc is misleading then. It has the example: ```scala F.uncancelable(poll => foo(poll)).flatMap(f) ``` > It is guaranteed that we will not observe cancelation after `uncancelable` and...
Yeah, okay, I'm reopening and making this a docs issue. > What you can assume is that `uncancelable(poll => poll(uncancelable(_ => ...)))` has no gaps in coverage. No gaps _at...
> There have been multiple attempts by you and me at similar ideas 😅 Yep :smile: > In that case you really want to be on the runtime first Yeah,...