Type Alias erg_compiler::error::EffectError

pub type EffectError = TyCheckError;

Aliased Type

struct EffectError {
    pub core: Box<ErrorCore>,
    pub input: Input,
    pub caused_by: String,
    pub theme: Theme,
}

Fields

core: Box<ErrorCore>

input: Input

caused_by: String

theme: Theme

Implementations

impl EffectError

pub fn has_effect( input: Input, errno: usize, expr: &Expr, caused_by: String ) -> Self

pub fn constructor_destructor_error( input: Input, errno: usize, loc: Location, caused_by: String ) -> Self

pub fn proc_assign_error( input: Input, errno: usize, loc: Location, caused_by: String ) -> Self

pub fn touch_mut_error( input: Input, errno: usize, expr: &Expr, caused_by: String ) -> Self