ponder-lab / Hybridize-Functions-Refactoring / #2535

82%

main: 83%

Pull #788

github

Note that the trampoline key collision is fixed in Ariadne 0.52.34

wala/ML#740, filed from this work, is fixed by ponder-lab/ML#618 and released in
0.52.34: the trampoline cache now keys on the receiver, the positional count,
and the keyword-name set rather than the summed total. The bundled Ariadne
(0.52.31) predates the fix, so the collision still applies here, but the Javadoc
read as though the summed key were current.

The supply check is unaffected either way. It reads the invoke arity and
keywords rather than node names, so the fix's consumer-visible renaming of
keyword-carrying trampolines (`trampoline<positional>$<sorted keywords>`) does
not reach it, and no code in the plug-ins matches trampoline names at all.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01K8tXuyy3YWhM7BzvmCxKAn

75 of 83 new or added lines in 4 files covered. (90.36%)

2213 of 2696 relevant lines covered (82.08%)

0.82 hits per line