Crate cairo_lang_diagnostics

Diagnostics hold error information from around the compiler, associated with a location to the source files.

Structs

DiagnosticAdded

This struct is used to ensure that when an error occurs, a diagnostic is properly reported.

DiagnosticLocation

Diagnostics

A set of diagnostic entries that arose during a computation.

DiagnosticsBuilder

A builder for Diagnostics, accumulating multiple diagnostic entries.

Traits

DiagnosticEntry

A trait for diagnostics (i.e., errors and warnings) across the compiler. Meant to be implemented by each module that may produce diagnostics.

ToMaybe

Temporary trait to allow conversions from the old Option<T> mechanism to Maybe<T>.

ToOption

Temporary trait to allow conversions from Maybe<T> to Option<T>. The behavior is identical to Result::ok. It is used to mark all the location where there is a conversion between the two mechanisms.

Functions

format_diagnostics

skip_diagnostic

Type Definitions

Maybe

Represents an arbitrary type T or a missing output due to an error whose diagnostic was properly reported.