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: get_singular_ctx_* -> get_singular_ctxs_*

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-03-07 19:06:21 +09:00
parent ee003064c1
commit a73a6b8022
4 changed files with 107 additions and 75 deletions
Download patch file Download diff file Expand all files Collapse all files

35
crates/erg_compiler/context/instantiate_spec.rs
View file

@ -445,25 +445,26 @@ impl Context {
return Ok(proj(receiver_t, rhs));
}
}
let ctx = self.get_singular_ctx(namespace.as_ref(), self)?;
if let Some((typ, _)) = ctx.rec_local_get_type(t.ident.inspect()) {
if let Triple::Ok(vi) =
ctx.rec_get_var_info(&t.ident, AccessKind::Name, &self.cfg.input, self)
{
self.inc_ref(&vi, &t.ident.name);
let ctxs = self.get_singular_ctxs(namespace.as_ref(), self)?;
for ctx in ctxs {
if let Some((typ, _)) = ctx.rec_local_get_type(t.ident.inspect()) {
if let Triple::Ok(vi) =
ctx.rec_get_var_info(&t.ident, AccessKind::Name, &self.cfg.input, self)
{
self.inc_ref(&vi, &t.ident.name);
}
// TODO: visibility check
return Ok(typ.clone());
}
// TODO: visibility check
Ok(typ.clone())
} else {
Err(TyCheckErrors::from(TyCheckError::no_var_error(
self.cfg.input.clone(),
line!() as usize,
t.loc(),
self.caused_by(),
t.ident.inspect(),
self.get_similar_name(t.ident.inspect()),
)))
}
Err(TyCheckErrors::from(TyCheckError::no_var_error(
self.cfg.input.clone(),
line!() as usize,
t.loc(),
self.caused_by(),
t.ident.inspect(),
self.get_similar_name(t.ident.inspect()),
)))
}
other => type_feature_error!(self, other.loc(), &format!("instantiating type {other}")),
}