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

Update classes.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-08-13 13:28:38 +09:00
parent b21d018adf
commit b75325dbdb
1 changed files with 15 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

21
crates/erg_compiler/context/initialize/classes.rs
View file

@ -2249,12 +2249,21 @@ impl Context {
ValueObj::builtin_class(dict_keys_iterator),
);
dict_.register_trait_methods(dict_t.clone(), dict_iterable);
dict_
.register_trait(
self,
poly(CONTAINER, vec![ty_tp(proj_call(D.clone(), KEYS, vec![]))]),
)
.unwrap();
let mut dict_collection = Self::builtin_methods(
Some(poly(
CONTAINER,
vec![ty_tp(proj_call(D.clone(), KEYS, vec![]))],
)),
4,
);
// TODO: Obj => D.keys() (Structural { .__contains__ = ... })
dict_collection.register_builtin_erg_impl(
FUNDAMENTAL_CONTAINS,
fn1_met(dict_t.clone(), Obj, Bool).quantify(),
Const,
Visibility::BUILTIN_PUBLIC,
);
dict_.register_trait_methods(dict_t.clone(), dict_collection);
let dict_values_t = fn0_met(
dict_t.clone(),
poly(