Type Definition erg_compiler::error::EffectError

pub type EffectError = TyCheckError;

Implementations

impl EffectError

pub fn has_effect( input: Input, errno: usize, expr: &Expr, 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