Consume prelude v7.3.1: share the unit singleton (`@inline unit never`) - #258

Merged

Unisay merged 3 commits into

mainfrom

issue-176/prelude-unit-inline-never

Jul 12, 2026

Commits on Jul 12, 2026

fix(ir): keep a bare-Ref alias to an @inline always binding shared (#171)
Unisay
committed
80a7c00
test(ps): repoint the golden set at psc-0.15.15-20260712-2
Unisay
committed
da99d6d
test(golden): accept unit sharing shape from prelude v7.3.1
Unisay
committed
012ff8b