Struct erg_compiler::error::CompileError

pub struct CompileError {
    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 CompileError

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

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

impl CompileError

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 unused_subroutine_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 not_comptime_fn_error( input: Input, errno: usize, loc: Location, caused_by: String, name: &str, similar_name: Option<&str> ) -> Self

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

TODO: replace no_var_error with this function

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

pub fn access_deleted_var_error( input: Input, errno: usize, loc: Location, caused_by: String, name: &str, del_line: u32, 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 not_a_type_error( input: Input, errno: usize, loc: Location, caused_by: String, name: &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 detailed_no_attr_error( input: Input, errno: usize, loc: Location, caused_by: String, obj_t: &Type, name: &str, similar_name: Option<&str>, similar_info: Option<&VarInfo> ) -> 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 shadow_special_namespace_error( input: Input, errno: usize, loc: Location, caused_by: String, name: &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, is_const: bool, 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, base: &Type, cast_to: &Type, hint: Option<String> ) -> Self

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

impl CompileError

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

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

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

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

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

impl CompileError

pub fn dummy(input: Input, errno: usize) -> Self

pub fn unreachable(input: Input, fn_name: &str, line: u32) -> Self

pub fn checker_bug( input: Input, errno: usize, loc: Location, fn_name: &str, line: u32 ) -> Self

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

pub fn callable_impl_error<'a, C: Locational + Display>( input: Input, errno: usize, callee: &C, param_ts: impl Iterator<Item = &'a Type>, caused_by: String ) -> Self

pub fn type_mismatch_error( input: Input, errno: usize, loc: Location, caused_by: String, name: &str, nth_param: Option<usize>, expect: &Type, found: &Type, candidates: Option<Set<Type>>, hint: Option<String> ) -> Self

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

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

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

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

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

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

pub fn match_error( input: Input, errno: usize, loc: Location, caused_by: String, expr_t: &Type, union_pat_t: &Type, arm_ts: Vec<Type> ) -> Self

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

pub fn dummy_infer_error(input: Input, fn_name: &str, line: u32) -> Self

pub fn not_relation(input: Input, fn_name: &str, line: u32) -> Self

pub fn too_many_args_error( input: Input, errno: usize, loc: Location, callee_name: &str, caused_by: String, params_len: usize, pos_args_len: usize, kw_args_len: usize ) -> Self

pub fn args_missing_error( input: Input, errno: usize, loc: Location, callee_name: &str, caused_by: String, missing_params: Vec<Str> ) -> Self

pub fn multiple_args_error( input: Input, errno: usize, loc: Location, callee_name: &str, caused_by: String, arg_name: &str ) -> Self

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

pub fn unification_error( input: Input, errno: usize, lhs_t: &Type, rhs_t: &Type, loc: Location, caused_by: String ) -> Self

pub fn re_unification_error( input: Input, errno: usize, lhs_t: &Type, rhs_t: &Type, loc: Location, caused_by: String ) -> Self

pub fn subtyping_error( input: Input, errno: usize, sub_t: &Type, sup_t: &Type, loc: Location, caused_by: String ) -> Self

pub fn invariant_error( input: Input, errno: usize, sub_t: &Type, sup_t: &Type, loc: Location, caused_by: String ) -> Self

pub fn pred_unification_error( input: Input, errno: usize, sub_pred: &Predicate, super_pred: &Predicate, loc: Location, caused_by: String ) -> Self

pub fn no_candidate_error( input: Input, errno: usize, proj: &Type, loc: Location, caused_by: String, hint: Option<String> ) -> Self

pub fn no_trait_impl_error( input: Input, errno: usize, class: &Type, trait_: &Type, loc: Location, caused_by: String, hint: Option<String> ) -> Self

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

pub fn specialization_error( _input: Input, _errno: usize, _loc: Location, _caused_by: String, _member_name: &str, _base_trait_type: &Type, _expect: &Type, _found: &Type ) -> Self

pub fn trait_member_type_error( input: Input, errno: usize, loc: Location, caused_by: String, member_name: &str, trait_type: &Type, expect: &Type, found: &Type, hint: Option<String> ) -> Self

pub fn trait_member_not_defined_error( input: Input, errno: usize, caused_by: String, member_name: &str, trait_type: &Type, class_type: &Type, hint: Option<String>, loc: Location ) -> Self

pub fn not_in_trait_error( input: Input, errno: usize, caused_by: String, member_name: &str, trait_type: &Type, class_type: &Type, hint: Option<String>, loc: Location ) -> Self

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

pub fn ambiguous_type_error( input: Input, errno: usize, expr: &(impl Locational + Display), candidates: &[Type], caused_by: String ) -> Self

pub fn ambiguous_method_error( input: Input, errno: usize, receiver: &(impl Locational + NoTypeDisplay), attr: &(impl Locational + Display), candidates: &[Type], caused_by: String ) -> Self

pub fn tp_to_type_error( input: Input, errno: usize, tp: &TyParam, loc: Location, caused_by: String ) -> Self

pub fn implicit_widening_error( input: Input, errno: usize, loc: Location, caused_by: String, before: &Type, after: &Type ) -> Self

pub fn overload_error<'a>( input: Input, errno: usize, loc: Location, caused_by: String, pos_args: Vec<ParamTy>, kw_args: Vec<ParamTy>, found: impl Iterator<Item = &'a Type> ) -> Self

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

impl CompileError

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

impl CompileError

pub fn new(core: ErrorCore, input: Input, caused_by: String) -> Self

pub fn compiler_bug( errno: usize, input: Input, loc: Location, fn_name: &str, line: u32 ) -> Self

pub fn stack_bug( input: Input, loc: Location, stack_len: u32, block_id: usize, fn_name: &str ) -> Self

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

pub fn system_exit() -> Self

impl CompileError

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

impl CompileError

pub fn move_error( input: Input, errno: usize, name: &str, name_loc: Location, moved_loc: Location, caused_by: String ) -> Self

Trait Implementations

impl Clone for CompileError

fn clone(&self) -> CompileError

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CompileError

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

Formats the value using the given formatter.

impl Display for CompileError

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

Formats the value using the given formatter.

impl Error for CompileError

fn source(&self) -> Option<&(dyn Error + 'static)>

The lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type based access to context intended for error reports.

impl ErrorDisplay for CompileError

fn core(&self) -> &ErrorCore

fn input(&self) -> &Input

fn caused_by(&self) -> &str

The block name the error caused. This will be None if the error occurred before semantic analysis.

fn ref_inner(&self) -> Option<&Self>

the previous error that caused this error.

fn write_to_stderr(&self)

fn write_to<W>(&self, w: &mut W)

where W: Write,

fn show(&self) -> String

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

for fmt::Display

impl From<CompileError> for CompileErrors

fn from(err: CompileError) -> Self

Converts to this type from the input type.

impl From<CompileError> for ParseError

fn from(err: CompileError) -> Self

Converts to this type from the input type.

impl From<CompileError> for ParserRunnerError

fn from(err: CompileError) -> Self

Converts to this type from the input type.

impl From<CompileError> for ParserRunnerErrors

fn from(err: CompileError) -> Self

Converts to this type from the input type.

impl From<Error> for CompileError

fn from(value: Error) -> Self

Converts to this type from the input type.

impl From<ParserRunnerError> for CompileError

fn from(err: ParserRunnerError) -> Self

Converts to this type from the input type.

impl FromIterator<CompileError> for CompileErrors

fn from_iter<I: IntoIterator<Item = CompileError>>(iter: I) -> Self

Creates a value from an iterator.

impl Hash for CompileError

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl MultiErrorDisplay<CompileError> for CompileErrors

fn write_all_stderr(&self)

fn write_all_to(&self, w: &mut impl Write)

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

impl PartialEq for CompileError

fn eq(&self, other: &CompileError) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Stream<CompileError> for CompileErrors

fn payload(self) -> Vec<CompileError>

fn ref_payload(&self) -> &Vec<CompileError>

fn ref_mut_payload(&mut self) -> &mut Vec<CompileError>

fn clear(&mut self)

fn len(&self) -> usize

fn size(&self) -> usize

fn is_empty(&self) -> bool

fn insert(&mut self, idx: usize, elem: T)

fn remove(&mut self, idx: usize) -> T

fn push(&mut self, elem: T)

fn append<S>(&mut self, s: &mut S)

where S: Stream<T>,

fn pop(&mut self) -> Option<T>

fn lpop(&mut self) -> Option<T>

fn get(&self, idx: usize) -> Option<&T>

fn get_mut(&mut self, idx: usize) -> Option<&mut T>

fn first(&self) -> Option<&T>

fn first_mut(&mut self) -> Option<&mut T>

fn last(&self) -> Option<&T>

fn last_mut(&mut self) -> Option<&mut T>

fn iter(&self) -> Iter<'_, T>

fn iter_mut(&mut self) -> IterMut<'_, T>

fn take_all(&mut self) -> Vec<T>

fn extend<I>(&mut self, iter: I)

where I: IntoIterator<Item = T>,

fn split_off(&mut self, at: usize) -> Vec<T>

fn retain(&mut self, f: impl FnMut(&T) -> bool)

Remove all elements that don’t satisfy the predicate.

fn concat(self, other: Self) -> Self

impl Eq for CompileError

impl StructuralPartialEq for CompileError