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

add lines read from devour_whitespace (#836)

Browse Source
This commit is contained in:
Mark Thom
2021-02-28 02:09:53 -07:00
parent 8c7494885f
commit 0747697d10
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/read.rs
View File

@@ -186,10 +186,13 @@ impl MachineState {
parser.devour_whitespace()?; parser.devour_whitespace()?;
inner.add_lines_read(parser.num_lines_read());
let result = parser.eof(); let result = parser.eof();
let buf = stream.take_buf(); let buf = stream.take_buf();
inner.pause_stream(buf)?; inner.pause_stream(buf)?;
result result
} }