language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 18:58:30 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix: type relation bugs

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-03-13 12:40:43 +09:00
parent 10678a7de7
commit e38674945b
12 changed files with 340 additions and 225 deletions
Download patch file Download diff file Expand all files Collapse all files

22
crates/erg_compiler/context/initialize/funcs.rs
View file

@ -130,9 +130,9 @@ impl Context {
None,
)));
let t_format = no_var_func(vec![kw(KW_VALUE, Obj)], vec![kw(KW_SPEC, Str)], Str);
let t_frozenset = nd_func(
let t_frozenset = no_var_func(
vec![],
vec![kw(KW_ITERABLE, poly(ITERABLE, vec![ty_tp(T.clone())]))],
None,
poly(FROZENSET, vec![ty_tp(T.clone())]),
)
.quantify();
@ -471,7 +471,13 @@ impl Context {
Some(FUNC_FILTER),
None,
);
self.register_builtin_py_impl(FUNC_FROZENSET, t_frozenset, Immutable, vis.clone(), None);
self.register_builtin_py_impl(
FUNC_FROZENSET,
t_frozenset,
Immutable,
vis.clone(),
Some(FUNC_FROZENSET),
);
self.register_builtin_py_impl(
FUNC_GETATTR,
getattr_t,
@ -1302,9 +1308,13 @@ impl Context {
bin_op(S, R.clone(), O).quantify()
};
self.register_builtin_erg_impl(OP_RSHIFT, op_t, Const, Visibility::BUILTIN_PRIVATE);
let T = mono_q(TY_T, instanceof(Type));
let C = mono_q(TY_C, subtypeof(poly(CONTAINER, vec![ty_tp(T.clone())])));
let op_t = bin_op(C, T, Bool).quantify();
let op_t = {
let S = Type::from(
dict! { Field::public(FUNDAMENTAL_CONTAINS.into()) => fn1_met(Never, R.clone(), Bool) },
)
.structuralize();
bin_op(S, R.clone(), Bool).quantify()
};
self.register_builtin_erg_impl(
FUNDAMENTAL_CONTAINS,
op_t.clone(),