Enum mz_transform::typecheck::TypeError

pub enum TypeError<'a> {
    Unbound {
        source: &'a MirRelationExpr,
        id: Id,
        typ: RelationType,
    },
    NoSuchColumn {
        source: &'a MirRelationExpr,
        expr: &'a MirScalarExpr,
        col: usize,
    },
    MismatchColumn {
        source: &'a MirRelationExpr,
        got: ColumnType,
        expected: ColumnType,
        diffs: Vec<ColumnTypeDifference>,
        message: String,
    },
    MismatchColumns {
        source: &'a MirRelationExpr,
        got: Vec<ColumnType>,
        expected: Vec<ColumnType>,
        diffs: Vec<RelationTypeDifference>,
        message: String,
    },
    BadConstantRow {
        source: &'a MirRelationExpr,
        got: Row,
        expected: Vec<ColumnType>,
    },
    BadProject {
        source: &'a MirRelationExpr,
        got: Vec<usize>,
        input_type: Vec<ColumnType>,
    },
    BadJoinEquivalence {
        source: &'a MirRelationExpr,
        got: Vec<ColumnType>,
        message: String,
    },
    BadTopKGroupKey {
        source: &'a MirRelationExpr,
        k: usize,
        input_type: Vec<ColumnType>,
    },
    BadTopKOrdering {
        source: &'a MirRelationExpr,
        order: ColumnOrder,
        input_type: Vec<ColumnType>,
    },
    BadLetRecBindings {
        source: &'a MirRelationExpr,
    },
    Shadowing {
        source: &'a MirRelationExpr,
        id: Id,
    },
    Recursion {
        error: RecursionLimitError,
    },
    DisallowedDummy {
        source: &'a MirRelationExpr,
    },
}

The possible forms of inconsistency/errors discovered during typechecking.

Every variant has a source field identifying the MIR term that is home to the error (though not necessarily the root cause of the error).

Variants

Unbound

Unbound identifiers (local or global)

Fields

source: &'a MirRelationExpr

Expression with the bug

id: Id

The (unbound) identifier referenced

typ: RelationType

The type id was expected to have

NoSuchColumn

Dereference of a non-existent column

Fields

source: &'a MirRelationExpr

Expression with the bug

expr: &'a MirScalarExpr

Scalar expression that references an invalid column

col: usize

The invalid column referenced

MismatchColumn

A single column type does not match

Fields

source: &'a MirRelationExpr

Expression with the bug

got: ColumnType

The column type we found (sub type)

expected: ColumnType

The column type we expected (sup type)

diffs: Vec<ColumnTypeDifference>

The difference between these types

message: String

An explanatory message

MismatchColumns

Relation column types do not match

Fields

source: &'a MirRelationExpr

Expression with the bug

got: Vec<ColumnType>

The column types we found (sub type)

expected: Vec<ColumnType>

The solumn types we expected (sup type)

diffs: Vec<RelationTypeDifference>

The difference between these types

message: String

An explanatory message

BadConstantRow

A constant row does not have the correct type

Fields

source: &'a MirRelationExpr

Expression with the bug

got: Row

A constant row

expected: Vec<ColumnType>

The expected type (which that row does not have)

BadProject

Projection of a non-existent column

Fields

source: &'a MirRelationExpr

Expression with the bug

got: Vec<usize>

The column projected

input_type: Vec<ColumnType>

The input columns (which don’t have that column)

BadJoinEquivalence

An equivalence class in a join was malformed

Fields

source: &'a MirRelationExpr

Expression with the bug

got: Vec<ColumnType>

The join equivalences

message: String

The problem with the join equivalences

BadTopKGroupKey

TopK grouping by non-existent column

Fields

source: &'a MirRelationExpr

Expression with the bug

k: usize

The bad column reference in the group key

input_type: Vec<ColumnType>

The input columns (which don’t have that column)

BadTopKOrdering

TopK ordering by non-existent column

Fields

source: &'a MirRelationExpr

Expression with the bug

order: ColumnOrder

The ordering used

input_type: Vec<ColumnType>

The input columns (which don’t work for that ordering)

BadLetRecBindings

LetRec bindings are malformed

Fields

source: &'a MirRelationExpr

Expression with the bug

Shadowing

Local identifiers are shadowed

Fields

source: &'a MirRelationExpr

Expression with the bug

id: Id

The id that was shadowed

Recursion

Recursion depth exceeded

Fields

error: RecursionLimitError

The error that aborted recursion

DisallowedDummy

A dummy value was found

Fields

source: &'a MirRelationExpr

The expression with the dummy value

Implementations

impl<'a> TypeError<'a>

pub fn source(&self) -> Option<&'a MirRelationExpr>

The source of the type error

fn humanize<H>(&self, humanizer: &H, f: &mut Formatter<'_>) -> Result

where H: ExprHumanizer,

Trait Implementations

impl<'a> Clone for TypeError<'a>

fn clone(&self) -> TypeError<'a>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Debug for TypeError<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a> Display for TypeError<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a> From<RecursionLimitError> for TypeError<'a>

fn from(error: RecursionLimitError) -> Self

Converts to this type from the input type.