forst-lang / forst / 28328048193

76%

Build Type

push

github

Committed by haveyaseen

Commit Message

fix(typechecker): complete trailing implicit return and provider method codegen

Trailing expressions were inferred as function returns but Go codegen still
emitted them as statements, so void provider methods ending in fmt.Println
got (int, error) signatures without a return. Store receiver method returns
in TypeMethods, emit implicit returns in the transformer, and typecheck when
a void contract method picks up a non-void inferred return.

Example:
```forst
type Logger = { info(msg String) }
type NopLogger = {}

func (NopLogger) info(msg String) {
	println(msg)  // ok — void
	// fmt.Println(msg)  // error: Logger contract requires void
}
```

Also staged: docs on implicit returns (errors-and-result, providers, go
interop), provider example golden updates, and assorted test coverage
(LSP, pipeline, providers API).

Coverage Stats

105 of 137 new or added lines in 8 files covered. (76.64%)

20 existing lines in 4 files now uncovered.

24383 of 32102 relevant lines covered (75.95%)

102.3 hits per line