Merge pull request #1234 from aarroyoc/ctrld

Fix Ctrl-D in toplevel
This commit is contained in:
Mark Thom
2022-01-18 21:34:30 -07:00
committed by GitHub

View File

@@ -122,19 +122,11 @@ impl<'a, R: CharRead> Lexer<'a, R> {
}
pub fn eof(&mut self) -> Result<bool, ParserError> {
if self.reader.peek_char().is_none() {
return Ok(true);
}
let mut c = is_not_eof!(self.reader, self.lookahead_char());
while layout_char!(c) {
self.skip_char(c);
if self.reader.peek_char().is_none() {
return Ok(true);
}
c = is_not_eof!(self.reader, self.lookahead_char());
}
@@ -1051,6 +1043,10 @@ impl<'a, R: CharRead> Lexer<'a, R> {
};
}
if c == '\u{0}' {
return Err(ParserError::UnexpectedEOF);
}
self.name_token(c)
}
Err(e) => Err(e),