1
79%
main: 79%

Ran 12 Apr 2026 05:01PM UTC

Files 190

Run time 3s

Badge

Embed ▾

Committed 12 Apr 2026 04:59PM UTC coverage: 62.492% (-0.01%) from 62.502%

Subproject # 24311749291.1

Build Type

push

github

Committed by

web-flow

Commit Message

feat(compiler)!: nominal error types (`error X { … }`) (#70)

* feat(compiler)!: nominal error types (error X { … })

Add user-defined nominal failure types with struct payloads: parse into
TypeDefErrorExpr, register with Error subtyping, unify/lookup and Go + TS
emit, fmt + LSP hover, and integration tests. Adds examples/in/nominal_error.ft
and task example:nominal-error.

docs(rfc): align errors architecture, normative RFC, hub README,
effect examples, ROADMAP experimental status, and testing rules with shipped
vs remaining RFC 02 work.

Example:

```forst
error NotPositive {
	message: String
}

func Test() {
	n := 0
	ensure n is GreaterThan(0) or NotPositive({
		message: "n must be greater than 0",
	})
}
```

* test: expand nominal error coverage

- compiler: assert examples/in/nominal_error.ft emits NotPositive struct, payload field, and error return
- parser: full-file parse of error typedef plus ensure … or nominal payload
- typechecker: CheckTypes on ensure/or arm; lock in IsTypeCompatible for same-shaped distinct nominals
- printer: printType for user nominal ident

Coverage Stats

16486 of 26381 relevant lines covered (62.49%)

19.96 hits per line

forst-lang / forst / 24311749291 / 1
79%
main: 79%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 24311749291.1

forst-lang / forst / 24311749291 / 1 79% main: 79%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 24311749291.1

forst-lang / forst / 24311749291 / 1
79%
main: 79%

README BADGES
x