mirror of
https://github.com/erg-lang/erg.git
synced 2025-08-03 10:23:20 +00:00
Update inquire.rs
This commit is contained in:
parent
fb26d6d80e
commit
359a030347
1 changed files with 2 additions and 0 deletions
|
@ -2268,6 +2268,8 @@ impl Context {
|
|||
|
||||
// rec_get_const_localとは違い、位置情報を持たないしエラーとならない
|
||||
pub(crate) fn rec_get_const_obj(&self, name: &str) -> Option<&ValueObj> {
|
||||
#[cfg(feature = "py_compatible")]
|
||||
let name = self.erg_to_py_names.get(name).map_or(name, |s| &s[..]);
|
||||
if let Some(val) = self.consts.get(name) {
|
||||
return Some(val);
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue