Skip to content

fix(typecheck): instantiate constructor schemes per use-site in patterns (#128)#187

Merged
hyperpolymath merged 1 commit into
mainfrom
fix/128-ctor-per-use-instantiation
May 18, 2026
Merged

fix(typecheck): instantiate constructor schemes per use-site in patterns (#128)#187
hyperpolymath merged 1 commit into
mainfrom
fix/128-ctor-per-use-instantiation

fix(typecheck): instantiate constructor schemes per use-site in patte…

847f3fe
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / Hypatia succeeded May 18, 2026 in 3s

No new alerts in code changed by this pull request

View all branch alerts.