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

Update inquire.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-11-22 02:15:39 +09:00
parent 406bf3ce40
commit ce9c4250e0
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/erg_compiler/context/inquire.rs
View file

@ -8,7 +8,7 @@ use erg_common::error::{ErrorCore, ErrorKind, Location};
use erg_common::levenshtein::get_similar_name; use erg_common::levenshtein::get_similar_name;
use erg_common::set::Set; use erg_common::set::Set;
use erg_common::traits::{Locational, Stream}; use erg_common::traits::{Locational, Stream};
use erg_common::vis::{Field, Visibility}; use erg_common::vis::Visibility;
use erg_common::{enum_unwrap, fmt_option, fmt_slice, log, set}; use erg_common::{enum_unwrap, fmt_option, fmt_slice, log, set};
use erg_common::{option_enum_unwrap, Str}; use erg_common::{option_enum_unwrap, Str};
use Type::*; use Type::*;
@ -530,8 +530,7 @@ impl Context {
self.get_attr_info_from_attributive(&refine.t, ident, namespace) self.get_attr_info_from_attributive(&refine.t, ident, namespace)
} }
Type::Record(record) => { Type::Record(record) => {
// REVIEW: `rec.get(name.inspect())` returns None (Borrow<Str> is implemented for Field). Why? if let Some(attr_t) = record.get(ident.inspect()) {
if let Some(attr_t) = record.get(&Field::new(Public, ident.inspect().clone())) {
let muty = Mutability::from(&ident.inspect()[..]); let muty = Mutability::from(&ident.inspect()[..]);
let vi = VarInfo::new( let vi = VarInfo::new(
attr_t.clone(), attr_t.clone(),