Merge pull request #285 from erg-lang/fix-#283

Fix #283
This commit is contained in:
Shunsuke Shibayama 2022-12-09 19:54:23 +09:00 committed by GitHub
commit 450ab83052
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -105,9 +105,11 @@ impl HIRBuilder {
let hir = effect_checker
.check(artifact.object)
.map_err(|(hir, errs)| {
self.lowerer.ctx.clear_all_vars();
IncompleteArtifact::new(Some(hir), errs, artifact.warns.clone())
})?;
let hir = self.ownership_checker.check(hir).map_err(|(hir, errs)| {
self.lowerer.ctx.clear_all_vars();
IncompleteArtifact::new(Some(hir), errs, artifact.warns.clone())
})?;
Ok(CompleteArtifact::new(hir, artifact.warns))