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

Update eval.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-03-14 10:14:09 +09:00
parent bc4ea7e66c
commit 0abb5f2615
1 changed files with 14 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

16
crates/erg_compiler/context/eval.rs
View file

@ -129,14 +129,26 @@ impl Context {
}
}
fn get_mod_ctx_from_acc(&self, acc: &Accessor) -> Option<&Context> {
match acc {
Accessor::Ident(ident) => self.get_mod(ident.inspect()),
Accessor::Attr(attr) => {
let Expr::Accessor(acc) = attr.obj.as_ref() else { return None; };
self.get_mod_ctx_from_acc(acc)
.and_then(|ctx| ctx.get_mod(attr.ident.inspect()))
}
_ => None,
}
}
fn eval_const_acc(&self, acc: &Accessor) -> EvalResult<ValueObj> {
match acc {
Accessor::Ident(ident) => self.eval_const_ident(ident),
Accessor::Attr(attr) => match self.eval_const_expr(&attr.obj) {
Ok(obj) => Ok(self.eval_attr(obj, &attr.ident)?),
Err(err) => {
if let Expr::Accessor(Accessor::Ident(ident)) = attr.obj.as_ref() {
if let Some(mod_ctx) = self.get_mod(ident.inspect()) {
if let Expr::Accessor(acc) = attr.obj.as_ref() {
if let Some(mod_ctx) = self.get_mod_ctx_from_acc(acc) {
return mod_ctx.eval_const_ident(&attr.ident);
}
}