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

fix: Context::fields with module types

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-04-03 11:34:37 +09:00
parent 6ab983d7d9
commit f00ee2dc74
1 changed files with 12 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

12
crates/erg_compiler/context/compare.rs
View file

@ -720,8 +720,20 @@ impl Context {
let Some((_, ctx)) = self.get_nominal_type_ctx(other) else {
return Dict::new();
};
let mod_fields = if other.is_module() {
if let Ok(ValueObj::Str(mod_name)) =
ValueObj::try_from(other.typarams()[0].clone())
{
self.get_mod(&mod_name).unwrap().local_dir()
} else {
Dict::new()
}
} else {
Dict::new()
};
ctx.type_dir(self)
.into_iter()
.chain(mod_fields.into_iter())
.map(|(name, vi)| {
(
Field::new(vi.vis.modifier.clone(), name.inspect().clone()),