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

follow EOF action after open_parsing_stream in get_char if stream at EOF

Browse Source
This commit is contained in:
Mark
2023-07-08 19:27:32 -06:00
parent 067b5998ee
commit fb8e3071f2
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/machine/system_calls.rs
View File

@@ -3400,8 +3400,12 @@ impl Machine {
Ok(iter) => iter, Ok(iter) => iter,
Err(e) => { Err(e) => {
if e.is_unexpected_eof() { if e.is_unexpected_eof() {
self.machine_st.unify_atom(atom!("end_of_file"), addr); return self.machine_st.eof_action(
return Ok(()); self.machine_st.registers[2],
stream,
atom!("get_char"),
2,
);
} else { } else {
let err = self.machine_st.session_error(SessionError::from(e)); let err = self.machine_st.session_error(SessionError::from(e));
return Err(self.machine_st.error_form(err, stub_gen())); return Err(self.machine_st.error_form(err, stub_gen()));