fix: centralise the module-system Array/Vector kernel-reduction workarounds - #9044

Merged

kim-em merged 3 commits into

mainfrom

array-decidableeq-shim

Jul 28, 2026

Commits on Jul 28, 2026

fix: centralise the module-system Array/Vector kernel-reduction workarounds

Kim Morrison
and
claude
committed
178d0d4
fix: compile `ofFn'` to the core implementation via `@[csimp]`

Kim Morrison
and
claude
committed
aa36a07
fix: scope the shim instances, redirect compiled equality, add boundary tests

Kim Morrison
and
claude
committed
65a4dce