mirror of
https://github.com/erg-lang/erg.git
synced 2025-08-04 02:39:20 +00:00
debug: mark
This commit is contained in:
parent
5508f652fc
commit
5eb0a50a23
4 changed files with 16 additions and 4 deletions
|
@ -73,7 +73,7 @@ impl Context {
|
|||
}
|
||||
if self.shared.is_some() && self.promises().is_registered(&path) && !self.mod_cached(&path)
|
||||
{
|
||||
let _result = self.promises().join(&path);
|
||||
self.promises().join(&path).unwrap();
|
||||
}
|
||||
self.opt_mod_cache()?
|
||||
.raw_ref_ctx(&path)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue