forst-lang / forst

63%

main: 76%

LAST BUILD ON BRANCH result-types

branch: result-types

CHANGE BRANCH

x

Reset

• result-types
• builtins-generics
• control-flow-narrowing
• document-builtins-hover
• error-types
• expand-lsp-functionality
• feat/full-request-sidecar
• feat/map-read-result
• feat/sidecar-layer-hardening
• feat/type-unions-intersections
• fix-handle-value-constraints-in-field-lookup
• forst-cli-package
• generator-ts
• go-interop
• gofmt-examples-out
• improve-lexer
• increase-coverage-20260403
• increase-coverage-20260405
• lint-fix
• lsp
• lsp-navigate
• main
• refactor-transformer
• release
• rfc-guard
• shape-guards
• showcase-example-tictactoe
• sidecar
• sidecar-release
• test-hash
• type-guards
• update-dependencies-20260402
• use-task
• vscode-lsp-extension

Build # 24307985715

Build Type

Pull #69

github

Committed by haveyaseen

Commit Message

fix(discovery): mark Result returns as multi-return for executor Go

Result(S, F) is a single Forst return type but lowers to (S, error) in Go.
Set HasMultipleReturns when applying Result discovery metadata so generated
wrapper mains use `succ, err := pkg.Fn(...)` instead of a single `result :=`.

feat(typechecker): type two-target assignment from Result-returning call

For `a, b := g()` where `g()` is typed as Result(S, F), distribute resolved
types to the two LHS variables as S and F.

fix(examples): tictactoe server demo uses Ok() narrowing and stable output

Pull Request Pull Request #69: feat!(typechecker): Result single-return, Ok/Err, and narrowing

Coverage Stats

989 of 1561 new or added lines in 39 files covered. (63.36%)

39 existing lines in 9 files now uncovered.

16358 of 26172 relevant lines covered (62.5%)

19.85 hits per line