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

fix(compiler): issue with warns about other files

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-02-13 12:26:15 +09:00
parent 903e96b34e
commit da7ff0a258
5 changed files with 23 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

8
crates/erg_compiler/build_hir.rs
View file

@ -1,6 +1,6 @@
use erg_common::config::ErgConfig;
use erg_common::error::MultiErrorDisplay;
use erg_common::traits::Runnable;
use erg_common::traits::{Runnable, Stream};
use erg_common::Str;
use erg_parser::ast::{VarName, AST};
@ -126,17 +126,17 @@ impl HIRBuilder {
}
pub fn check(&mut self, ast: AST, mode: &str) -> Result<CompleteArtifact, IncompleteArtifact> {
let artifact = self.lowerer.lower(ast, mode)?;
let mut artifact = self.lowerer.lower(ast, mode)?;
let effect_checker = SideEffectChecker::new(self.cfg().clone());
let hir = effect_checker
.check(artifact.object)
.map_err(|(hir, errs)| {
self.lowerer.module.context.clear_invalid_vars();
IncompleteArtifact::new(Some(hir), errs, artifact.warns.clone())
IncompleteArtifact::new(Some(hir), errs, artifact.warns.take_all().into())
})?;
let hir = self.ownership_checker.check(hir).map_err(|(hir, errs)| {
self.lowerer.module.context.clear_invalid_vars();
IncompleteArtifact::new(Some(hir), errs, artifact.warns.clone())
IncompleteArtifact::new(Some(hir), errs, artifact.warns.take_all().into())
})?;
Ok(CompleteArtifact::new(hir, artifact.warns))
}