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

Update error.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-08-21 11:40:37 +09:00
parent bc50ceeb6a
commit fc976d38c5
1 changed files with 14 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

14
crates/erg_common/error.rs
View file

@ -916,6 +916,20 @@ impl ErrorCore {
None
}
pub fn hints(&self) -> Vec<&str> {
self.sub_messages
.iter()
.filter_map(|sub| sub.hint.as_deref())
.collect()
}
pub fn mut_hints(&mut self) -> Vec<&mut String> {
self.sub_messages
.iter_mut()
.filter_map(|sub| sub.hint.as_mut())
.collect()
}
pub fn fmt_header(&self, color: Color, caused_by: &str, input: &str) -> String {
let loc = match self.loc {
Location::Range {