Skip to content

Probes behind my comments on #4630 - #3

Closed
stasimus wants to merge 4 commits into
reardonj:4627-eval-cancelationfrom
stasimus:probe-4627-fold
Closed

stasimus wants to merge 4 commits into
reardonj:4627-eval-cancelationfrom
stasimus:probe-4627-fold

Conversation

@stasimus

Copy link
Copy Markdown

The code you asked for. FoldProbeSuite prints the four shapes, including where ctr comes from. ComboProbeSuite is the deleted property with the failing seed pinned, so it falsifies at 152.

Run with: sbt "testsJVM/testOnly cats.effect.FoldProbeSuite cats.effect.ComboProbeSuite"

Not meant to merge, just easier to read as a diff.

reardonj and others added 4 commits July 4, 2026 22:37
Adds uncancelable wrapper to evaluation of resource so that cancelation can only occur at reasonable points.
- polling the entire brackFull unmasks the rest of the evaluation. Instead we have to just mask the acquire and use
- in allocatedCase, insert cancelation boundary before checking the next frame instead of unmasking the rest of the evaluation
in Resource, combineK has a bespoke implementation which propagates the final exit case to both inner resource finalizers, while orElse is derived from handleErrorWith, which does not propagate the final exit case, so it's not surprising that the test that it is equivalent to combineK would fail. Removing this test.
@reardonj
reardonj force-pushed the 4627-eval-cancelation branch 2 times, most recently from 93d45a0 to 3af09e6 Compare August 29, 2026 13:18
@stasimus

Copy link
Copy Markdown
Author

Superseded, you already took the fix and the rebase means this branch would drag the old commits back. Closing.

@stasimus stasimus closed this Aug 31, 2026
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