Module problems 

The language server’s diagnostics as the Studio’s editor shows them: a squiggle under the words each one names, and the problem at the top of the hover — VS Code’s Problems, in the page, from the same analysis (logicaffeine_lsp) the server publishes.

Structs

Problem

One diagnostic, placed in the source by byte offsets.

Enums

Severity

How loud a problem is, quietest first.

Functions

problems

Every problem the language server finds in the document.

problems_html

The problems at offset as the top of a hover: each message, then where it comes from, its code linked to the explanation.

rebase

Problems found in old, carried into new until it is analysed afresh: the text before and after an edit keeps its problems, moved with it; a problem the edit touched is dropped.

squiggle_class

The classes for the text in start..end: the most severe squiggle over it, and a fade when any code there does nothing.