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

Update error.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-12-21 19:13:59 +09:00
parent fca322d784
commit 53ce2573e0
1 changed files with 9 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

13
compiler/erg_compiler/error.rs
View file

@ -977,8 +977,8 @@ passed keyword args: {kw_args_len}"
let mut sub_type = StyledStrings::default(); let mut sub_type = StyledStrings::default();
switch_lang!( switch_lang!(
"japanese" => sub_type.push_str("部分型: "), "japanese" => sub_type.push_str("部分型: "),
"simplified_chinese" => sub_type.push_str("超类型: "), "simplified_chinese" => sub_type.push_str("部分类型: "),
"simplified_chinese" =>sub_type.push_str("超類型: "), "simplified_chinese" =>sub_type.push_str("部分類型:"),
"english" => sub_type.push_str("subtype: "), "english" => sub_type.push_str("subtype: "),
); );
sub_type.push_str_with_color_and_attribute(format!("{}", sub_t), HINT, ATTR); sub_type.push_str_with_color_and_attribute(format!("{}", sub_t), HINT, ATTR);
@ -991,13 +991,18 @@ passed keyword args: {kw_args_len}"
"english" =>sup_type.push_str("supertype: "), "english" =>sup_type.push_str("supertype: "),
); );
sup_type.push_str_with_color_and_attribute(format!("{}", sup_t), ERR, ATTR); sup_type.push_str_with_color_and_attribute(format!("{}", sup_t), ERR, ATTR);
let hint = switch_lang!(
"japanese" => "型推論が失敗している可能性があります。型を明示的に指定してみてください。",
"simplified_chinese" => "可能是编译器推断失败。请尝试明确指定类型。",
"traditional_chinese" => "可能是編譯器推斷失敗。請嘗試明確指定類型。",
"english" => "The type checker may fail to inference types. Please try to explicitly specify the type.",
);
Self::new( Self::new(
ErrorCore::new( ErrorCore::new(
vec![SubMessage::ambiguous_new( vec![SubMessage::ambiguous_new(
loc, loc,
vec![sub_type.to_string(), sup_type.to_string()], vec![sub_type.to_string(), sup_type.to_string()],
None, Some(hint.to_string()),
)], )],
switch_lang!( switch_lang!(
"japanese" => format!("この式の部分型制約を満たせません"), "japanese" => format!("この式の部分型制約を満たせません"),