Null pointer optimization - #555

Closed

gabriel-barrett wants to merge 6 commits into

mainfrom

null-pointer-optimization

Commits on Aug 12, 2026

aiur: 1-based memory pointers; pin the first address to 1
gabriel-barrett
committed
fa8cc6b
aiur: null-pointer niche optimization for two-constructor enums
gabriel-barrett
committed
45ab7c2
aiur: synthesized fail arm for partial niche matches
gabriel-barrett
committed
a6b3d25
tests: null-pointer niche coverage
gabriel-barrett
committed
94b1ae8
ixvm: List becomes the niche enum { Nil, Cons(&(A, List<A>)) }
gabriel-barrett
committed
40596b4
ixvm: Layer becomes the niche enum { Nil, Push(&(Layer, digest)) }
gabriel-barrett
committed
d5a08a9