Docs.rs
erg_compiler-0.5.7-nightly.0
erg_compiler 0.5.7-nightly.0
Docs.rs crate page
MIT OR Apache-2.0
Links
Homepage
Documentation
Repository
crates.io
Source
Owners
mtshiba
Dependencies
erg_common ^0.5.7-nightly.0
normal
erg_parser ^0.5.7-nightly.0
normal
erg_type ^0.5.7-nightly.0
normal
Versions
5.79%
of the crate is documented
Go to latest stable release
Platform
i686-pc-windows-msvc
i686-unknown-linux-gnu
x86_64-apple-darwin
x86_64-pc-windows-msvc
x86_64-unknown-linux-gnu
Feature flags
Rust
About docs.rs
Privacy policy
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
☰
TyCheckError
Methods
ambiguous_type_error
args_missing_error
argument_error
callable_impl_error
checker_bug
dummy
dummy_infer_error
infer_error
match_error
method_definition_error
multiple_args_error
no_candidate_error
no_trait_impl_error
no_type_spec_error
not_in_trait_error
not_relation
pred_unification_error
re_unification_error
return_type_error
subtyping_error
too_many_args_error
trait_member_not_defined_error
trait_member_type_error
type_mismatch_error
tyvar_not_defined_error
unexpected_kw_arg_error
unification_error
uninitialized_error
unreachable
In erg_compiler::error
?
Type Definition
erg_compiler
::
error
::
TyCheckError
source
·
[
−
]
pub type TyCheckError =
CompileError
;
Implementations
source
impl
TyCheckError
source
pub fn
dummy
(input:
Input
, errno:
usize
) -> Self
source
pub fn
unreachable
(input:
Input
, fn_name: &
str
, line:
u32
) -> Self
source
pub fn
checker_bug
(
input:
Input
,
errno:
usize
,
loc:
Location
,
fn_name: &
str
,
line:
u32
) -> Self
source
pub fn
no_type_spec_error
(
input:
Input
,
errno:
usize
,
loc:
Location
,
caused_by:
AtomicStr
,
name: &
str
) -> Self
source
pub fn
callable_impl_error
<'a, C:
Locational
+
Display
>(
input:
Input
,
errno:
usize
,
callee:
&
C,
param_ts: impl
Iterator
<Item = &'a
Type
>,
caused_by:
AtomicStr
) -> Self
source
pub fn
type_mismatch_error
(
input:
Input
,
errno:
usize
,
loc:
Location
,
caused_by:
AtomicStr
,
name: &
str
,
expect: &
Type
,
found: &
Type
,
candidates:
Option
<
Set
<
Type
>>,
hint:
Option
<
AtomicStr
>
) -> Self
source
pub fn
return_type_error
(
input:
Input
,
errno:
usize
,
loc:
Location
,
caused_by:
AtomicStr
,
name: &
str
,
expect: &
Type
,
found: &
Type
) -> Self
source
pub fn
uninitialized_error
(
input:
Input
,
errno:
usize
,
loc:
Location
,
caused_by:
AtomicStr
,
name: &
str
,
t: &
Type
) -> Self
source
pub fn
argument_error
(
input:
Input
,
errno:
usize
,
loc:
Location
,
caused_by:
AtomicStr
,
expect:
usize
,
found:
usize
) -> Self
source
pub fn
match_error
(
input:
Input
,
errno:
usize
,
loc:
Location
,
caused_by:
AtomicStr
,
expr_t: &
Type
) -> Self
source
pub fn
infer_error
(
input:
Input
,
errno:
usize
,
loc:
Location
,
caused_by:
AtomicStr
,
expr: &
str
) -> Self
source
pub fn
dummy_infer_error
(input:
Input
, fn_name: &
str
, line:
u32
) -> Self
source
pub fn
not_relation
(input:
Input
, fn_name: &
str
, line:
u32
) -> Self
source
pub fn
too_many_args_error
(
input:
Input
,
errno:
usize
,
loc:
Location
,
callee_name: &
str
,
caused_by:
AtomicStr
,
params_len:
usize
,
pos_args_len:
usize
,
kw_args_len:
usize
) -> Self
source
pub fn
args_missing_error
(
input:
Input
,
errno:
usize
,
loc:
Location
,
callee_name: &
str
,
caused_by:
AtomicStr
,
missing_len:
usize
,
missing_params:
Vec
<
Str
>
) -> Self
source
pub fn
multiple_args_error
(
input:
Input
,
errno:
usize
,
loc:
Location
,
callee_name: &
str
,
caused_by:
AtomicStr
,
arg_name: &
str
) -> Self
source
pub fn
unexpected_kw_arg_error
(
input:
Input
,
errno:
usize
,
loc:
Location
,
callee_name: &
str
,
caused_by:
AtomicStr
,
param_name: &
str
) -> Self
source
pub fn
unification_error
(
input:
Input
,
errno:
usize
,
lhs_t: &
Type
,
rhs_t: &
Type
,
loc:
Location
,
caused_by:
AtomicStr
) -> Self
source
pub fn
re_unification_error
(
input:
Input
,
errno:
usize
,
lhs_t: &
Type
,
rhs_t: &
Type
,
loc:
Location
,
caused_by:
AtomicStr
) -> Self
source
pub fn
subtyping_error
(
input:
Input
,
errno:
usize
,
sub_t: &
Type
,
sup_t: &
Type
,
loc:
Location
,
caused_by:
AtomicStr
) -> Self
source
pub fn
pred_unification_error
(
input:
Input
,
errno:
usize
,
lhs: &
Predicate
,
rhs: &
Predicate
,
caused_by:
AtomicStr
) -> Self
source
pub fn
no_candidate_error
(
input:
Input
,
errno:
usize
,
proj: &
Type
,
loc:
Location
,
caused_by:
AtomicStr
,
hint:
Option
<
AtomicStr
>
) -> Self
source
pub fn
no_trait_impl_error
(
input:
Input
,
errno:
usize
,
class: &
Type
,
trait_: &
Type
,
loc:
Location
,
caused_by:
AtomicStr
,
hint:
Option
<
AtomicStr
>
) -> Self
source
pub fn
method_definition_error
(
input:
Input
,
errno:
usize
,
loc:
Location
,
caused_by:
AtomicStr
,
name: &
str
,
hint:
Option
<
AtomicStr
>
) -> Self
source
pub fn
trait_member_type_error
(
input:
Input
,
errno:
usize
,
loc:
Location
,
caused_by:
AtomicStr
,
member_name: &
str
,
trait_type: &
Type
,
expect: &
Type
,
found: &
Type
,
hint:
Option
<
AtomicStr
>
) -> Self
source
pub fn
trait_member_not_defined_error
(
input:
Input
,
errno:
usize
,
caused_by:
AtomicStr
,
member_name: &
str
,
trait_type: &
Type
,
class_type: &
Type
,
hint:
Option
<
AtomicStr
>
) -> Self
source
pub fn
not_in_trait_error
(
input:
Input
,
errno:
usize
,
caused_by:
AtomicStr
,
member_name: &
str
,
trait_type: &
Type
,
class_type: &
Type
,
hint:
Option
<
AtomicStr
>
) -> Self
source
pub fn
tyvar_not_defined_error
(
input:
Input
,
errno:
usize
,
name: &
str
,
loc:
Location
,
caused_by:
AtomicStr
) -> Self
source
pub fn
ambiguous_type_error
(
input:
Input
,
errno:
usize
,
expr: &impl
Locational
+
Display
,
candidates: &[
Type
],
caused_by:
AtomicStr
) -> Self