Extend Symbol with precise identifier span and two-provenance model - #256

Merged

leynos merged 10 commits into

mainfrom

add-symbol-name-span-5p0bo1

Apr 11, 2026

Commits on Apr 9, 2026

feat(sema): add precise identifier spans for declarations and bindings

leynos
and
devboxerhub[bot]
committed
a0ffe21
refactor(sema): extract program declaration spec generation to helper function

leynos
and
devboxerhub[bot]
committed
9ff9ef4
feat(parser, sema): add precise binding spans for rule heads to semantic model

leynos
and
devboxerhub[bot]
committed
c74c8da
fix(sema): pass None for CST handles in nested for loop terms

leynos
and
devboxerhub[bot]
committed
03a0ad5
refactor(sema): extract pattern binding declaration into helper method

leynos
and
devboxerhub[bot]
committed
1ade137

Commits on Apr 10, 2026

test(sema): add test for missing name_span in nested for-loop bindings

leynos
and
devboxerhub[bot]
committed
63e8c59
refactor(sema): use PatternBindingSpec struct to group pattern binding parameters

leynos
and
devboxerhub[bot]
committed
ea413e1
test(sema): parameterize binding declarations tests using rstest cases

leynos
and
devboxerhub[bot]
committed
ba10b82
feat(parser, sema): add precise identifier span sourcing for declarations and bindings

leynos
and
devboxerhub[bot]
committed
ffa7d44

Commits on Apr 11, 2026

refactor(tests): centralize span_text utility for cleaner test code

leynos
and
devboxerhub[bot]
committed
34d1ade