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

71%

main: 72%

Build Type

Pull #500

travis-pro

Committed by khatchad

Commit Message

Return `boolean` from `Parameter.classifyAsTensor` and tighten regression-test type asserts (#500).

`classifyAsTensor` now returns the same verdict it caches in `isTensor()`,
so `Function.inferTensorParameters` can branch directly on the return
value without the extract-then-null-guard idiom. The cache is still
populated, so later `isTensor()` calls work unchanged. Two regression
tests (`testParameterClassifyAsTensorContract`,
`testMethodWithSelfAndTensorParameter`) now also assert dtype `FLOAT32`
and shape `(2,)` on the tensor parameter, pinning the Ariadne-inferred
`TensorType` content, not just non-emptiness.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

Pull Request Pull Request #500: Split `Parameter.isTensorTyped` into `classifyAsTensor` + `isTensor`

Coverage Stats

7 of 9 new or added lines in 2 files covered. (77.78%)

1 existing line in 1 file now uncovered.

1136 of 1591 relevant lines covered (71.4%)

0.71 hits per line