add specialized EOF handling for user input (#1892)

2023-07-17 13:53:08 -06:00
parent 67d198ac77
commit cf367024fd
2 changed files with 64 additions and 22 deletions
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -5793,7 +5793,11 @@ impl Machine {
            3,
        )?;

-        self.machine_st.read_term(stream, &mut self.indices)
+        if let Stream::Readline(..) = stream {
+            self.machine_st.read_term(stream, &mut self.indices, MachineState::read_term_from_user_input_eof_handler)
+        } else {
+            self.machine_st.read_term(stream, &mut self.indices, MachineState::read_term_eof_handler)
+        }
    }

    #[inline(always)]