feat: fold case-of-known-constructor in the IR optimizer (#177)#209

Merged

Unisay merged 6 commits into

mainfrom

issue-177/case-of-known-ctor

Jul 8, 2026

Commits on Jul 8, 2026

feat: fold case-of-known-constructor in the IR optimizer (#177)
Unisay
committed
test: unit, property, and pipeline coverage for case-of-known-constructor
Unisay
committed
refactor: share the curried-App-spine unwinder across IR passes
Unisay
committed
chore: clear the remaining compiler warnings for a warning-free build
Unisay
committed
chore: disable the "Use const" hlint hint
Unisay
committed
test: fuzz constructor folds — extend the IR generator and add a full-optimizer soundness property
Unisay
committed