Type Definition erg_compiler::error::LowerError

pub type LowerError = TyCheckError;

Implementations

impl LowerError

pub fn syntax_error<S: Into<AtomicStr>>(
    input: Input,
    errno: usize,
    loc: Location,
    caused_by: AtomicStr,
    desc: S,
    hint: Option<AtomicStr>
) -> Self

pub fn duplicate_decl_error(
    input: Input,
    errno: usize,
    loc: Location,
    caused_by: AtomicStr,
    name: &str
) -> Self

pub fn duplicate_definition_error(
    input: Input,
    errno: usize,
    loc: Location,
    caused_by: AtomicStr,
    name: &str
) -> Self

pub fn violate_decl_error(
    input: Input,
    errno: usize,
    loc: Location,
    caused_by: AtomicStr,
    name: &str,
    spec_t: &Type,
    found_t: &Type
) -> Self

pub fn no_var_error(
    input: Input,
    errno: usize,
    loc: Location,
    caused_by: AtomicStr,
    name: &str,
    similar_name: Option<&str>
) -> Self

pub fn no_attr_error(
    input: Input,
    errno: usize,
    loc: Location,
    caused_by: AtomicStr,
    obj_t: &Type,
    name: &str,
    similar_name: Option<&str>
) -> Self

pub fn singular_no_attr_error(
    input: Input,
    errno: usize,
    loc: Location,
    caused_by: AtomicStr,
    obj_name: &str,
    obj_t: &Type,
    name: &str,
    similar_name: Option<&str>
) -> Self

pub fn reassign_error(
    input: Input,
    errno: usize,
    loc: Location,
    caused_by: AtomicStr,
    name: &str
) -> Self

pub fn unused_warning(
    input: Input,
    errno: usize,
    loc: Location,
    name: &str,
    caused_by: AtomicStr
) -> Self

pub fn visibility_error(
    input: Input,
    errno: usize,
    loc: Location,
    caused_by: AtomicStr,
    name: &str,
    vis: Visibility
) -> Self

pub fn override_error<S: Into<AtomicStr>>(
    input: Input,
    errno: usize,
    name: &str,
    name_loc: Location,
    superclass: &Type,
    caused_by: S
) -> Self

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

pub fn file_error(
    input: Input,
    errno: usize,
    desc: String,
    loc: Location,
    caused_by: AtomicStr,
    hint: Option<AtomicStr>
) -> Self

pub fn import_error(
    input: Input,
    errno: usize,
    desc: String,
    loc: Location,
    caused_by: AtomicStr,
    similar_erg_mod: Option<Str>,
    similar_py_mod: Option<Str>
) -> Self

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

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