forst-lang / forst / 28778560655

76%

Build Type

push

github

Committed by haveyaseen

Commit Message

feat(transformer): lower ensure failures in Test* functions to t.Fatalf

Add strict HasTestFunctionName (Test* with exactly one *testing.T param per
ADR-044) and resolve the harness parameter via TestingTParamIdent. Ensure
failures in test functions now emit t.Helper() and t.Fatalf instead of
error returns or panic; non-test functions keep existing error-return behavior.
Test functions with ensure infer void return type rather than error.

fix(parser): support qualified names in pointer composite literals

Parse &pkg.Type {} using parseIdentifier so dotted type prefixes work in
with-block wiring and other value contexts.

fix(typechecker): improve empty slice inference and append widening

Honor expected slice element type for empty [] at call sites. Widen default
[]int placeholders on append for empty array literals and variables when
appending non-int elements, without widening non-empty int literals like [1].

fix(transformer): correct pointer composite and shape zero-value emission

Always emit address-of for composite literals in ReferenceNode. Use empty
composite literals for named user-defined shape fields instead of nil. Skip
Providers struct re-emission when OmitPackageTypeDefs is enabled.

test: add generic coverage for ensure-in-test, slices, and qualified composites

Replace module-specific fixtures with generic Sample/TestSampleFields and
pkg.Widget parser tests; extend pipeline ensure emit tests accordingly.

Coverage Stats

79 of 130 new or added lines in 11 files covered. (60.77%)

2 existing lines in 2 files now uncovered.

27373 of 34625 relevant lines covered (79.06%)

133.63 hits per line