mirror of
https://github.com/erg-lang/erg.git
synced 2025-08-04 10:49:54 +00:00
WIP
This commit is contained in:
parent
42ceab31e6
commit
f5a3d32728
8 changed files with 183 additions and 146 deletions
|
@ -971,7 +971,6 @@ impl Context {
|
|||
self.shared.as_ref().map(|shared| &shared.py_mod_cache)
|
||||
}
|
||||
|
||||
#[cfg(feature = "els")]
|
||||
pub fn index(&self) -> Option<&crate::module::SharedModuleIndex> {
|
||||
self.shared.as_ref().map(|shared| &shared.index)
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue