1
80%
main: 79%

Ran 22 Jun 2026 11:41PM UTC

Files 32

Run time 0s

Badge

Embed ▾

Committed 22 Jun 2026 11:38PM UTC coverage: 80.119%. Remained the same

Job # #2071.1

Build Type

push

github

Committed by

web-flow

Commit Message

Infer keyword-only tensor parameters from call sites (#607) (#647)

Bump Ariadne to 0.51.1, which models keyword-only parameters as formal
parameters in the IR (wala/ML#596). A keyword-only parameter now receives
a value number and a parameter position, so a call-site keyword argument
binds to it and Ariadne types it via the call-site path.

Invert `testKwonlyTensorParameterCallSite` accordingly: an un-annotated
keyword-only parameter that receives a tensor only through a keyword
argument now classifies as a tensor and carries a concrete tensor type.

With this and the type-hint path (#646), both routes to classifying a
keyword-only tensor parameter work.

Closes #607.

Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>

Coverage Stats

1612 of 2012 relevant lines covered (80.12%)

0.8 hits per line

ponder-lab / Hybridize-Functions-Refactoring / #2071 / 1
80%
main: 79%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #2071.1

ponder-lab / Hybridize-Functions-Refactoring / #2071 / 1 80% main: 79%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #2071.1

ponder-lab / Hybridize-Functions-Refactoring / #2071 / 1
80%
main: 79%

README BADGES
x