Skip to main content

Module diagnostics

Module diagnostics 

Source

Structs§

ErrorDecision
The explicit presentation decision for one ParseErrorKind.

Enums§

DocsLink
Whether a diagnostic carries a “read more” link into LOGOS_QUICKGUIDE.md.
Quickfix
Whether code_actions offers a mechanical fix for an error kind.

Constants§

ANALYSIS_DECISIONS
The severity contract for the analysis-layer hint/warning codes — one row per emitted code, locked (both directions) by tests/locks.rs.

Functions§

convert_analysis_errors
Convert analysis errors (escape/ownership) to LSP diagnostics.
convert_errors
Convert a list of parse errors to LSP diagnostics.
decision_for
shadowing_warnings
Warnings for re-declared names: a second Let x in the same block makes the earlier x unreachable from that point on — legal, and usually a misspelled Set.
unused_function_hints
Hints for functions nothing calls — only in programs WITH a ## Main (a library file’s functions are its API, not dead code).
unused_variable_hints
Hints for Let bindings nothing ever reads.