Skip to content

Remove unsound eta reduction to fix the stack overflow in generic instances#45

Merged
Unisay merged 2 commits into
mainfrom
issue-32/fix-recursive-instance-stack-overflow
Jun 12, 2026
Merged

Remove unsound eta reduction to fix the stack overflow in generic instances#45
Unisay merged 2 commits into
mainfrom
issue-32/fix-recursive-instance-stack-overflow

Commits

Commits on Jun 12, 2026