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

fix: thread joining bug

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-06-28 17:26:24 +09:00
parent c3dc061f3d
commit 51a66108a1
3 changed files with 62 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/erg_compiler/context/register.rs
View file

@ -1976,7 +1976,7 @@ impl Context {
.map_err(|_| self.import_err(line!(), __name__, loc))?;
let name = __name__.clone();
let _path = path.clone();
let shared = self.shared.as_ref().unwrap().clone();
let shared = self.shared.as_ref().unwrap().inherit(path.clone());
let run = move || {
let mut builder = HIRBuilder::new_with_cache(cfg, name, shared.clone());
match builder.build(src, "exec") {