forst-lang / forst / 28756695986

76%

Build Type

push

github

Committed by haveyaseen

Commit Message

feat(typechecker): typecheck unqualified Go calls in mixed .go+.ft packages

Enable Forst files co-located with Go source to call exported same-package
Go functions without qualification. Load co-located Go exports via
initSamePackageGoExports, resolve calls through a unified checkGoFuncCall
path with tri-state trySamePackageGoCall (wrong arguments surface go-call
diagnostics instead of falling through silently), and record variableGoTypes
for same-package two-value assignments.

Centralize import-path derivation in forstpkg.ImportPathForDir and wire
compiler and modulecheck to set samePackageGoImportPath automatically.
Add ModuleResult.ImportPathForForstPackage for module-level checks.

Relax goload packageLoadOKAt for in-module packages whose go/types are
valid but GoFiles were omitted by go/packages, and stop skipping Forst
sibling paths in initGoImportPackages so mixed sibling packages load.

Add self-contained temp-module tests for same-package calls, import-path
helpers, and typed-package load acceptance.

Coverage Stats

98 of 125 new or added lines in 8 files covered. (78.4%)

2 existing lines in 2 files now uncovered.

26609 of 33308 relevant lines covered (79.89%)

134.76 hits per line