Struct TypeError 

pub struct TypeError {
    pub message: String,
    pub span: Option<Span>,
    pub notes: Vec<String>,
    pub code: TypeErrorCode,
}

Type error

Fields

message: String

span: Option<Span>

notes: Vec<String>

code: TypeErrorCode

Implementations

impl TypeError

pub fn new(message: impl Into<String>) -> Self

pub fn with_span(self, span: Span) -> Self

pub fn with_note(self, note: impl Into<String>) -> Self

pub fn with_code(self, code: TypeErrorCode) -> Self

pub fn type_mismatch(expected: &str, found: &str) -> Self

Type mismatch error: expected X, found Y

pub fn undefined(kind: &str, name: &str) -> Self

Undefined name error

pub fn non_bool_condition(context: &str, found: &str) -> Self

Condition must be boolean error

pub fn heterogeneous_array(first_type: &str, found_type: &str) -> Self

Array elements must have same type

pub fn invalid_index(found: &str) -> Self

Invalid index type

pub fn invalid_operand(op: &str, found: &str) -> Self

Invalid operand type

pub fn missing_match_arm() -> Self

Missing match arm

pub fn invalid_reduction(op: &str, found: &str) -> Self

Invalid reduction

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

Formats the value using the given formatter.

impl Display for TypeError

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

Formats the value using the given formatter.

impl From<&TypeError> for Diagnostic

fn from(err: &TypeError) -> Self

Converts to this type from the input type.

impl From<TypeError> for Diagnostic

fn from(err: TypeError) -> Self

Converts to this type from the input type.