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

fix: sync_to_translation_status.er

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-04-10 23:37:01 +09:00
parent fc85265d9f
commit d07ceb30e1
3 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

1
crates/erg_compiler/error/tycheck.rs
View file

@ -178,6 +178,7 @@ impl TyCheckError {
found: &Type, found: &Type,
hint: Option<String>, hint: Option<String>,
) -> Self { ) -> Self {
let name = name.with_color(Color::Yellow);
let mut expct = StyledStrings::default(); let mut expct = StyledStrings::default();
switch_lang!( switch_lang!(
"japanese" => expct.push_str("予期した型: "), "japanese" => expct.push_str("予期した型: "),

2
doc/scripts/mylib.d.er
View file

@ -1,5 +1,3 @@
re = pyimport "re"
.get_file_dirname!: () => Str .get_file_dirname!: () => Str
.path_join: (__a: Str, path: Str) => Str .path_join: (__a: Str, path: Str) => Str

2
doc/scripts/sync_to_translation_status.er
View file

@ -42,7 +42,7 @@ get_doc_en_file_paths! relative_dir_path, relative_file_paths_result := [] =
for! relative_file_paths, path => for! relative_file_paths, path =>
result.push! path result.push! path
for! relative_dir_paths, path => for! relative_dir_paths, path =>
result.push! get_doc_en_file_paths! path, result result.extend! get_doc_en_file_paths! path, result
result result
doc_en_file_paths = get_doc_en_file_paths! "EN" doc_en_file_paths = get_doc_en_file_paths! "EN"