Normalises use_theories messages to %{kind, text, from, to} with cell
offsets, and buckets them by command span.
Summary
Functions
Groups messages by the command span they start in. Returns the non-empty spans in order, each with its 1-based line and the command's first line.
Messages of a finished use_theories result, or of a failed task (an error in
the theory header), ordered by position.
Types
@type message() :: %{ kind: :error | :warning | :writeln, text: String.t(), from: non_neg_integer(), to: non_neg_integer() }
Functions
Groups messages by the command span they start in. Returns the non-empty spans in order, each with its 1-based line and the command's first line.
Messages of a finished use_theories result, or of a failed task (an error in
the theory header), ordered by position.
Errors reported for other files (imported theories) are kept without position.