Type Definition erg_compiler::error::LowerError

pub type LowerError = TyCheckError;

Implementations

impl LowerError

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

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

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

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

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

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

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

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

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

pub fn type_not_found(
    input: Input,
    errno: usize,
    loc: Location,
    caused_by: String,
    typ: &Type
) -> Self

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

pub fn singular_no_attr_error(
    input: Input,
    errno: usize,
    loc: Location,
    caused_by: String,
    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: String,
    name: &str
) -> Self

pub fn del_error(
    input: Input,
    errno: usize,
    ident: &Identifier,
    caused_by: String
) -> Self

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

pub fn override_error<S: Into<String>>(
    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: String
) -> Self

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

pub fn module_env_error(
    input: Input,
    errno: usize,
    mod_name: &str,
    loc: Location,
    caused_by: String
) -> Self

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

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

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

pub fn invalid_type_cast_error(
    input: Input,
    errno: usize,
    loc: Location,
    caused_by: String,
    name: &str,
    cast_to: &Type,
    hint: Option<String>
) -> Self