0%

tests

Goal

Matrix-test the call-site grammar across method + free-function, type + const args, partial/_ binding, with the disambiguation semantic pin.

Implementation Sketch

Cover method (value.is<int>(), xs.to_fixed<$N>()) + free-function (replicate<_, 5>(x), parse<int>(t)) x type + const args x full/partial/_. Semantic pin: a.b < c > (d) parses as comparison (negative pin against the unsound rule). Negative pin: tuple-index t.0<int>() rejected. Dual-execution parity (interp == LLVM) for every new runnable fixture.

Spec References

Proposal Resolved-During-Review; tests.md Matrix Testing + Negative Testing; layer-coverage.md L1/L2/L5/L9/L11.

Work Items

  • Method + free-fn call-site parse fixtures across type + const args.
  • Semantic pin: a.b < c > (d) stays a comparison; negative pin: t.0<int>() rejected.
  • Partial-args + _-placeholder fixtures; dual-execution parity (interp == LLVM) for every runnable fixture.