rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

widen CharReader buffer (#1859)

Browse Source
This commit is contained in:
Mark
2023-07-04 11:22:07 -06:00
parent 7f69ac3f4a
commit c58d8804a1
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/parser/char_reader.rs
View File

@@ -20,7 +20,7 @@ use std::str;
pub struct CharReader<R> { pub struct CharReader<R> {
inner: R, inner: R,
buf: SmallVec<[u8;4]>, buf: SmallVec<[u8;32]>,
pos: usize, pos: usize,
} }
@@ -121,7 +121,7 @@ impl<R: Read> CharReader<R> {
self.buf.clear(); self.buf.clear();
let mut word = [0u8;4]; let mut word = [0u8; std::mem::size_of::<char>()];
let nread = self.inner.read(&mut word)?; let nread = self.inner.read(&mut word)?;
self.buf.extend_from_slice(&word[..nread]); self.buf.extend_from_slice(&word[..nread]);
@@ -234,10 +234,10 @@ impl<R: Read> CharRead for CharReader<R> {
#[inline(always)] #[inline(always)]
fn put_back_char(&mut self, c: char) { fn put_back_char(&mut self, c: char) {
let src_len = self.buf.len() - self.pos; let src_len = self.buf.len() - self.pos;
debug_assert!(src_len <= 4); debug_assert!(src_len <= self.buf.capacity());
let c_len = c.len_utf8(); let c_len = c.len_utf8();
let mut shifted_slice = [0u8; 4]; let mut shifted_slice = [0u8; 32];
shifted_slice[0..src_len].copy_from_slice(&self.buf[self.pos .. self.buf.len()]); shifted_slice[0..src_len].copy_from_slice(&self.buf[self.pos .. self.buf.len()]);