forst-lang / forst

62%

main: 76%

LAST BUILD ON BRANCH error-types

branch: error-types

CHANGE BRANCH

x

Reset

• error-types
• builtins-generics
• control-flow-narrowing
• document-builtins-hover
• 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
• result-types
• rfc-guard
• shape-guards
• showcase-example-tictactoe
• sidecar
• sidecar-release
• test-hash
• type-guards
• update-dependencies-20260402
• use-task
• vscode-lsp-extension

Build # 24311699419

Build Type

Pull #70

github

Committed by haveyaseen

Commit Message

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

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

Coverage Stats

225 of 405 new or added lines in 30 files covered. (55.56%)

2 existing lines in 2 files now uncovered.

16485 of 26381 relevant lines covered (62.49%)

19.96 hits per line