From: Mark <markjordanthom@gmail.com>
Date: Sun, 9 Jul 2023 01:27:32 +0000 (-0600)
Subject: follow EOF action after open_parsing_stream in get_char if stream at EOF
X-Git-Tag: v0.9.2~77
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=fb8e3071f2b6de2c5737686509029f2642741dec;p=scryer-prolog.git

follow EOF action after open_parsing_stream in get_char if stream at EOF
---

diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index da2314d3..11a724cc 100644
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -3400,8 +3400,12 @@ impl Machine {
             Ok(iter) => iter,
             Err(e) => {
                 if e.is_unexpected_eof() {
-                    self.machine_st.unify_atom(atom!("end_of_file"), addr);
-                    return Ok(());
+                    return self.machine_st.eof_action(
+                        self.machine_st.registers[2],
+                        stream,
+                        atom!("get_char"),
+                        2,
+                    );
                 } else {
                     let err = self.machine_st.session_error(SessionError::from(e));
                     return Err(self.machine_st.error_form(err, stub_gen()));