From: Thierry Marianne <thierry@marianne.io>
Date: Mon, 15 Sep 2025 06:33:47 +0000 (+0200)
Subject: handle `Stream` variants qualified as input stream by `is_input_stream`
X-Git-Tag: v0.10.0~2^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8afcc7742b2d8b1c2166adbf9721836d8738b252;p=scryer-prolog.git

handle `Stream` variants qualified as input stream by `is_input_stream`

Signed-off-by: Thierry Marianne <thierry@marianne.io>
---

diff --git a/src/machine/machine_state.rs b/src/machine/machine_state.rs
index 26ba9a69..ca88a6ea 100644
--- a/src/machine/machine_state.rs
+++ b/src/machine/machine_state.rs
@@ -752,6 +752,12 @@ impl MachineState {
                 indices,
                 MachineState::read_term_from_user_input_eof_handler,
             ),
+            #[cfg(feature = "tls")]
+            Stream::NamedTls(_) => self.read_term(
+                stream,
+                indices,
+                MachineState::read_term_from_user_input_eof_handler,
+            ),
             Stream::Readline(ptr) => {
                 let readline = unsafe { ptr.as_ptr().as_mut() }.unwrap();
                 readline.set_atoms_for_completion(&self.atom_tbl);
@@ -761,7 +767,13 @@ impl MachineState {
                     MachineState::read_term_from_user_input_eof_handler,
                 )
             }
-            Stream::Byte(_) | Stream::InputFile(_) | Stream::NamedTcp(_) => self.read_term(
+            Stream::Byte(_)
+            | Stream::InputChannel(_)
+            | Stream::InputFile(_)
+            | Stream::NamedTcp(_)
+            | Stream::Null(_)
+            | Stream::PipeReader(_)
+            | Stream::StaticString(_) => self.read_term(
                 stream,
                 indices,
                 MachineState::read_term_from_user_input_eof_handler,