language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-07-24 13:34:52 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: check doc comments by the compiler

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-04-06 23:41:24 +09:00
parent 777af37de7
commit 0c47c95f25
4 changed files with 108 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/erg_common/lib.rs
View file

@ -178,9 +178,9 @@ pub fn trim_eliminate_top_indent(code: String) -> String {
let mut result = String::new();
for line in code.lines() {
if line.len() > indent {
result.push_str(&line[indent..]);
result.push_str(line[indent..].trim_end());
} else {
result.push_str(line);
result.push_str(line.trim_end());
}
result.push('\n');
}