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

update: whitespace after multi comment is an error

Browse source
This commit is contained in:
GreasySlug 2022-12-26 20:15:17 +09:00
parent f5c290960d
commit d329650bcf
1 changed files with 0 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

8
compiler/erg_parser/lex.rs
View file

@ -450,10 +450,6 @@ impl Lexer /*<'a>*/ {
if let Err(e) = self.lex_multi_line_comment() { if let Err(e) = self.lex_multi_line_comment() {
return Some(Err(e)); return Some(Err(e));
} }
let indent_dedent = self.lex_space_indent_dedent();
if indent_dedent.is_some() {
return indent_dedent;
}
} else if let Err(e) = self.lex_comment() { } else if let Err(e) = self.lex_comment() {
return Some(Err(e)); return Some(Err(e));
} }
@ -1064,10 +1060,6 @@ impl Iterator for Lexer /*<'a>*/ {
if let Err(e) = self.lex_multi_line_comment() { if let Err(e) = self.lex_multi_line_comment() {
return Some(Err(e)); return Some(Err(e));
} }
let indent_dedent = self.lex_space_indent_dedent();
if indent_dedent.is_some() {
return indent_dedent;
}
} else if let Err(e) = self.lex_comment() { } else if let Err(e) = self.lex_comment() {
return Some(Err(e)); return Some(Err(e));
} }