Expand description

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

Structs

This struct is used to ensure that when an error occurs, a diagnostic is properly reported.
A set of diagnostic entries that arose during a computation.
A builder for Diagnostics, accumulating multiple diagnostic entries.

Traits

A trait for diagnostics (i.e., errors and warnings) across the compiler. Meant to be implemented by each module that may produce diagnostics.
Temporary trait to allow conversions from the old Option<T> mechanism to Maybe<T>.
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

Type Definitions

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