Module kailua_types::diag [] [src]

Type-level diagnostics.

Unlike normal reports, type operations can issue recursive reports with nested causes. A separate reporting system is provided to process such recursive reports. Ideally the resulting "type report" should form a tree; currently only a linear data structure is implemented, which is reasonable for now.

Structs

TypeReport

Type-level report.

Enums

Origin

The originating position of type operation failures.

TypeReportHint

A hint about the context where given type operation occurred. Used to give better messages for the topmost errors.

Traits

TypeReportMore

An extension to kailua_diag::ReportMore for type reports.

Type Definitions

TypeResult

The result type for any procedure that can generate type reports.