]> Repositorios git - scryer-prolog.git/commitdiff
handle `Stream` variants qualified as input stream by `is_input_stream`
authorThierry Marianne <[email protected]>
Mon, 15 Sep 2025 06:33:47 +0000 (08:33 +0200)
committerThierry Marianne <[email protected]>
Mon, 15 Sep 2025 06:33:47 +0000 (08:33 +0200)
Signed-off-by: Thierry Marianne <[email protected]>
src/machine/machine_state.rs

index 26ba9a69765a83584dde8cf9f92ec60d27ec53b4..ca88a6eab9ee29c23d8e1d35c11d7994e219329f 100644 (file)
@@ -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,