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

fix: remove unsound eta reduction (closes #32)

718cef8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
tests
succeeded Jun 12, 2026 in 5m 48s