[MicroPerf] Eliminate closure allocations in List.mapq and List.lengthsEqAndForall2 - #20372

Open

T-Gro wants to merge 11 commits into

mainfrom

t-gro-list-hof-closure-spike

Commits on Aug 26, 2026

Perf: eliminate closure allocs in List.mapq / List.lengthsEqAndForall2

T-Gro
and
Copilot
committed
66a7810
Merge remote-tracking branch 'origin/main' into t-gro-list-hof-closure-spike
T-Gro
committed
9a96f8f
Compaction: drop dead checkq, simplify lengthsEqAndForall2, trim comments/test

T-Gro
and
Copilot
committed
7ee4c6b
Simplify primitives and make the characterization test readable

T-Gro
and
Copilot
committed
9873f23
Extract inline list combinators into a ListInline module

T-Gro
and
Copilot
committed
da95c6a
Also carry [<InlineIfLambda>] on the ListInline / mapq / lengthsEqAndForall2 signatures

T-Gro
and
Copilot
committed
b99d69e
Characterize that an instance member inline preserves InlineIfLambda through <|

T-Gro
and
Copilot
committed
d6d2c87

Commits on Aug 27, 2026

Correct the member/<| comment: the <| penalty is real under escape

perf-bundle
and
Copilot
committed
c4361c6
ListInline.forall2: flatten with a struct-tuple match

perf-bundle
and
Copilot
committed
e78de97
ListInline.forall2: drop redundant struct keyword from the case patterns

perf-bundle
and
Copilot
committed
e1854fc
Test: split closure-form cases into DoesNotAllocate / AllocatesClosure; add top-level vs local partial-application

perf-bundle
and
Copilot
committed
756d6e9