language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-03 18:29:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: implement And type overloading

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-04-24 21:43:46 +09:00
parent 068ffcc34f
commit 0e8dee3cbf
8 changed files with 125 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/erg_common/error.rs
View file

@ -924,6 +924,10 @@ pub trait ErrorDisplay {
for sub_msg in &core.sub_messages {
msg += &sub_msg.format_code_and_pointer(self, color, gutter_color, mark, chars);
}
if core.sub_messages.is_empty() {
let sub_msg = SubMessage::ambiguous_new(self.core().loc, vec![], None);
msg += &sub_msg.format_code_and_pointer(self, color, gutter_color, mark, chars);
}
msg += &core.kind.to_string();
msg += ": ";
msg += &core.main_message;