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
810fb28
test: unit, property, and pipeline coverage for case-of-known-constructor
Unisay
committed
065bd36
refactor: share the curried-App-spine unwinder across IR passes
Unisay
committed
be42482
chore: clear the remaining compiler warnings for a warning-free build
Unisay
committed
dfdd052
chore: disable the "Use const" hlint hint
Unisay
committed
c50132a
test: fuzz constructor folds — extend the IR generator and add a full-optimizer soundness property
Unisay
committed
67a1a33