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

feat: add Dict.keys/values/get

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-04-20 02:19:31 +09:00
parent a8ef10951a
commit e0d8306b3e
7 changed files with 129 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

9
crates/erg_compiler/context/generalize.rs
View file

@ -415,7 +415,14 @@ impl<'c, 'q, 'l, L: Locational> Dereferencer<'c, 'q, 'l, L> {
TyParam::Dict(dic) => {
let mut new_dic = dict! {};
for (k, v) in dic.into_iter() {
new_dic.insert(self.deref_tp(k)?, self.deref_tp(v)?);
let k = self.deref_tp(k)?;
let v = self.deref_tp(v)?;
new_dic
.entry(k)
.and_modify(|old_v| {
*old_v = self.ctx.union_tp(&mem::take(old_v), &v).unwrap();
})
.or_insert(v);
}
Ok(TyParam::Dict(new_dic))
}