do not reset user input `Stream` of kind different from `Readline(_)`, `Byte(_)`

Signed-off-by: Thierry Marianne <[email protected]>

diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index 5eb9a6d2622a70af0fd52f148608fec1c8e964cc..01f2b2eceed66e93936292e6c2cabff8e537e1fd 100644 (file)
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -6739,7 +6739,10 @@ impl Machine {
 
     #[inline(always)]
     pub(crate) fn read_query_term(&mut self) -> CallResult {
-        self.user_input.reset();
+        match self.user_input {
+            Stream::Byte(_) | Stream::Readline(_) => self.user_input.reset(),
+            _ => true,
+        };
 
         set_prompt(true);
         // let result = self.machine_st.read_term(self.user_input, &mut self.indices);
@@ -6751,7 +6754,10 @@ impl Machine {
         match result {
             Ok(()) => Ok(()),
             Err(e) => {
-                self.user_input.reset();
+                match self.user_input {
+                    Stream::Byte(_) | Stream::Readline(_) => self.user_input.reset(),
+                    _ => true
+                };
                 Err(e)
             }
         }