Skip to content

fix(memo): check for self-dependency cycles before blocking on ivar#13710

Merged
anmonteiro merged 1 commit intoocaml:mainfrom
anmonteiro:anmonteiro/fix-5771-deadlock
Mar 3, 2026
Merged

fix(memo): check for self-dependency cycles before blocking on ivar#13710
anmonteiro merged 1 commit intoocaml:mainfrom
anmonteiro:anmonteiro/fix-5771-deadlock

Conversation

@anmonteiro
Copy link
Copy Markdown
Collaborator

fixes #5771

Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
@Alizter
Copy link
Copy Markdown
Collaborator

Alizter commented Mar 2, 2026

Does this resolve the original deadlock in #5771?

@anmonteiro
Copy link
Copy Markdown
Collaborator Author

yeah, it does. I can add the specific cram test, but i added the expect test that reproduces it specifically in #13707.

If you want, I can include the original reproduction from #5771 in this PR, too.

@Alizter
Copy link
Copy Markdown
Collaborator

Alizter commented Mar 2, 2026

@anmonteiro I think its fine not to include it, I just wanted to have a record of the fact that it did in fact fix the original issue. The other reproduction case is better.

@anmonteiro anmonteiro merged commit fd42c38 into ocaml:main Mar 3, 2026
29 checks passed
@anmonteiro anmonteiro deleted the anmonteiro/fix-5771-deadlock branch March 3, 2026 06:37
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.

Infinite loop in cycle checking

2 participants