forst-lang / forst / 28757461779

76%

Build Type

push

github

Committed by haveyaseen

Commit Message

feat(typechecker): split collect/infer and resolve sibling Forst package types

Split CheckTypes into CollectTypes and InferTypes so modulecheck can run
all package collects before any infer pass. Add parseForstSiblingTypeRef,
forstSiblingTypeChecker, siblingTypeDefCache, and siblingShapeTypeMatches
for qualified cross-package shape compatibility. Batch go/packages once per
module via InitGoPackagesFromBatch; defer non-literal package-var inference
to InferTypes.

feat(parser): add postfix calls, package vars, typed literals, and Int conversions

Add MethodCallNode for recv.method(args), package-level var declarations,
typed composite array literals, and Int(x) builtin conversions. Extend the
Go transformer to emit package vars and postfix method calls.

feat(lsp): support new syntax and module-wide analysis in the editor

Analyze single files through modulecheck for sibling-package types. Add
postfix method hover and member completion on expression receivers, plus
package-var document symbols, go-to-definition, and top-level completion.

Coverage Stats

441 of 850 new or added lines in 32 files covered. (51.88%)

22 existing lines in 2 files now uncovered.

27006 of 34106 relevant lines covered (79.18%)

132.98 hits per line