forst-lang / forst / 24312080732

62%

main: 76%

Build Type

Pull #72

github

Committed by haveyaseen

Commit Message

feat(lsp): enrich hovers with Forst examples and printed type guards

Expand `internal/hoverdoc` with `forstBlock`-based fenced examples for
built-in types, guards, and many more keywords (control flow, interop,
`error`, booleans, `nil`). Add `IsBuiltinTypeSurfaceName` and tests.

LSP: document `nil`/`true`/`false` via keyword hovers; show built-in type
docs when an identifier is a built-in name without variable inference;
render type guard declarations with `printer.FormatTypeGuardNode` plus
leading comments (including merged package members).

Printer: add `FormatTypeGuardNode` for reuse from hovers; cover with a
round-trip test.

Example:

```forst
ensure s is Min(1)
// following statements see narrowed `String`
```

Pull Request Pull Request #72: feat(lsp): add hover dictionaries for built-in types and guards

Coverage Stats

157 of 368 new or added lines in 5 files covered. (42.66%)

3 existing lines in 2 files now uncovered.

16635 of 26712 relevant lines covered (62.28%)

19.76 hits per line