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

88%

main: 88%

Build Type

Pull #1021

github

Committed by khatchad

Commit Message

Dispatch on the statement kind with a pattern switch

The descent through a module's statements to the line of a call was a
chain of seven type tests, and its handler loop read the clause array
without the null guard the line computation above it applies. A switch
over the statement's kind states the dispatch directly, and the clauses
are read once, guarded, for both uses. Behavior is unchanged.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01NTnpjPjJj2aZy1ZkUD1eAn

Pull Request Pull Request #1021: Refuse a conversion that changes a guarded call's exception

Coverage Stats

244 of 256 new or added lines in 6 files covered. (95.31%)

82 existing lines in 2 files now uncovered.

4716 of 5372 relevant lines covered (87.79%)

0.88 hits per line