24307985715
63%
main: 76%

Ran 12 Apr 2026 01:38PM UTC

Jobs 1

Files 190

Run time 1min

Badge

Embed ▾

Committed 12 Apr 2026 01:36PM UTC coverage: 62.502% (+0.7%) from 61.831%

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

Uncovered Changes

Lines	Coverage	∆	File
79	44.37		forst/internal/typechecker/type_alias_display.go
56	13.85		forst/internal/typechecker/type_registry.go
36	28.33	12.88%	forst/internal/typechecker/unify_typeguard.go
34	52.02	-0.79%	forst/internal/typechecker/go_builtins.go
33	48.33	5.89%	forst/internal/transformer/go/statement.go
31	82.97	-17.03%	forst/internal/ast/type.go
31	69.15	0.1%	forst/internal/typechecker/narrow_if.go
26	55.93	-1.37%	forst/internal/hasher/hasher.go
25	65.64	0.12%	forst/internal/printer/printer.go
25	66.14	5.3%	forst/internal/transformer/go/expression.go
23	55.22	-3.67%	forst/internal/transformer/go/type.go
21	61.82		forst/internal/typechecker/result_err_branch_return.go
20	0.0		forst/internal/ast/result_expr.go
17	77.03		forst/internal/transformer/go/result_struct_field.go
16	63.43	-0.59%	forst/internal/typechecker/infer_expression.go
12	49.34	-1.04%	forst/internal/parser/type.go
12	34.76	-0.32%	forst/internal/typechecker/lookup_field.go
9	50.9	-2.9%	forst/internal/parser/expression.go
9	73.87	-5.72%	forst/internal/typechecker/validate_references.go
8	61.9		forst/internal/typechecker/shape_field_type.go
8	55.74	-4.64%	forst/internal/typechecker/unify_is.go
6	89.29		forst/internal/typechecker/inferred_storage.go
5	52.53	2.53%	forst/internal/typechecker/utils.go
4	93.85		forst/internal/transformer/go/result_local.go
4	61.4	3.03%	forst/internal/typechecker/go_interop.go
4	86.99	1.77%	forst/internal/typechecker/infer_assignment.go
4	94.67		forst/internal/typechecker/scope_symbol.go
3	59.9	-4.45%	forst/internal/parser/function.go
3	62.77	-0.19%	forst/internal/typechecker/infer_function.go
3	81.36	9.93%	forst/internal/typechecker/infer_if.go
2	34.38	0.3%	forst/internal/transformer/go/shape.go
2	68.4	0.99%	forst/internal/typechecker/infer.go
1	82.99	0.23%	forst/internal/typechecker/infer_shape.go

Coverage Regressions

Lines	Coverage	∆	File
15	48.33	5.89%	forst/internal/transformer/go/statement.go
10	65.64	0.12%	forst/internal/printer/printer.go
5	62.77	-0.19%	forst/internal/typechecker/infer_function.go
2	34.38	0.3%	forst/internal/transformer/go/shape.go
2	68.4	0.99%	forst/internal/typechecker/infer.go
2	60.99	-1.42%	forst/internal/typechecker/types.go
1	59.9	-4.45%	forst/internal/parser/function.go
1	52.02	-0.79%	forst/internal/typechecker/go_builtins.go
1	57.35	-0.86%	forst/internal/typechecker/unify_operators.go

Subprojects

ID	Flag name	Job ID	Ran	Files	Coverage
1	/jobs/180145597	24307985715.1	12 Apr 2026 01:38PM UTC	190	62.5	GitHub Action Run

forst-lang / forst / 24307985715
63%
main: 76%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Coverage Regressions

Subprojects

Source Files on build 24307985715

forst-lang / forst / 24307985715 63% main: 76%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Coverage Regressions

Subprojects

Source Files on build 24307985715

forst-lang / forst / 24307985715
63%
main: 76%

README BADGES
x