forst-lang / forst / 30218381422

79%

Build Type

push

github

Committed by haveyaseen

Commit Message

feat(typechecker)!: map Go multi-return to Tuple, keep Result exclusive

Go FFI calls bound in single-value context (x := pkg.F()) now always
type as Tuple(T₁…Tₙ), with no trailing-error fold to Result. Result
remains a Forst-native exclusive sum built via return and ensure;
bridge FFI with n, err := …; ensure !err or err; return n.

Add tuple indexed access (t.0, t.1), multi-value return for
Tuple-declared functions, and Unwrap() emission on nominal errors
with a cause field. Extract Go FFI call checking into
typechecker/gointerop with struct-based call descriptors. Add
errors-compat test corpus (stdlib + third-party module) and
task test:errors-compat.

BREAKING CHANGE: strconv.Atoi(s) and similar single-value Go
multi-return bindings now infer Tuple(Int, Error) instead of
Result(Int, Error). Use n-value assignment or the ensure bridge
to obtain Result ergonomics.

Coverage Stats

245 of 652 new or added lines in 20 files covered. (37.58%)

9 existing lines in 1 file now uncovered.

36169 of 47769 relevant lines covered (75.72%)

1160.36 hits per line