Enum TypeError 

pub enum TypeError {
    Mismatch {
        expected: InferType,
        found: InferType,
    },
    InfiniteType {
        var: TyVar,
        ty: InferType,
    },
    ArityMismatch {
        expected: usize,
        found: usize,
    },
    FieldNotFound {
        type_name: Symbol,
        field_name: Symbol,
    },
    NotAFunction {
        found: InferType,
    },
    DimensionMismatch {
        message: String,
    },
}

A type error detected during unification or checking.

Variants

Mismatch

Fields

expected: InferType

found: InferType

InfiniteType

Fields

var: TyVar

ty: InferType

ArityMismatch

Fields

expected: usize

found: usize

FieldNotFound

Fields

type_name: Symbol

field_name: Symbol

NotAFunction

Fields

found: InferType

DimensionMismatch

Dimension-incoherent quantity arithmetic (2 meters + 1 gram) caught statically by the crate::analysis::dimension_check::DimensionChecker. Carries its own ready message.

Fields

message: String

Implementations

impl TypeError

pub fn expected_str(&self) -> String

pub fn found_str(&self) -> String

pub fn to_parse_error_kind(&self, interner: &Interner) -> ParseErrorKind

Convert this TypeError into a ParseErrorKind for user-facing reporting.

Uses interner to resolve symbol names (field names, type names) into strings.

Trait Implementations

impl Clone for TypeError

fn clone(&self) -> TypeError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeError

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

Formats the value using the given formatter.