Module diag

Diagnostics.

Macros

eco_format

Create a new EcoString from a format string.

Structs

EcoString

An economical string with inline storage and clone-on-write semantics.

HintedString

A string message with hints.

LineCol

A line/column pair.

LoadError

A call site independent error that occurred during data loading. This avoids polluting the memoization with [Span]s and FileIds from source files. Can be turned into a SourceDiagnostic using the LoadedWithin::within method available on LoadResult.

SourceDiagnostic

An error or warning in a source or text file.

Warned

An output alongside warnings generated while producing it.

Enums

FileError

An error that occurred while trying to load of a file.

PackageError

An error that occurred while trying to load a package.

ReportPos

A position at which an error was reported.

Severity

The severity of a SourceDiagnostic.

Tracepoint

A part of a diagnostic’s trace.

Traits

At

Convert a StrResult or HintedStrResult to a SourceResult by adding span information.

DeprecationSink

Destination for a deprecation message when accessing a deprecated value.

Hint

Enrich a StrResult or HintedStrResult with a hint.

LoadedWithin

Convert a LoadResult to a SourceResult by adding the [Loaded] context.

Trace

Enrich a SourceResult with a tracepoint.

Functions

format_xml_like_error

Format a user-facing error message for an XML-like file format.

Type Aliases

FileResult

A result type with a file-related error.

HintedStrResult

A result type with a string error message and hints.

LoadResult

A result type with a data-loading-related error.

PackageResult

A result type with a package-related error.

SourceResult

A result that can carry multiple source errors.

StrResult

A result type with a string error message.