From: Thierry Marianne <thierry@marianne.io>
Date: Sun, 14 Sep 2025 15:00:39 +0000 (+0200)
Subject: match against `Stream` `HttpRead()`, `InputFile(_)` and `NamedTcp(_)` variants in... 
X-Git-Tag: v0.10.0~2^2~3
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1ece558a71e2a8b8a15beb5e8f72b452d9cbe740;p=scryer-prolog.git

match against `Stream` `HttpRead()`, `InputFile(_)` and `NamedTcp(_)` variants in read_term_from_user_input

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

diff --git a/src/machine/machine_state.rs b/src/machine/machine_state.rs
index 237fafbb..e1124222 100644
--- a/src/machine/machine_state.rs
+++ b/src/machine/machine_state.rs
@@ -755,30 +755,24 @@ impl MachineState {
             );
         }
 
-        #[cfg(feature = "http")]
-        if let Stream::HttpRead(_) = stream {
-            return self.read_term(
-                stream,
-                indices,
-                MachineState::read_term_from_user_input_eof_handler,
-            );
-        }
-
-        if let Stream::InputFile(_) = stream {
-            return self.read_term(
-                stream,
-                indices,
-                MachineState::read_term_from_user_input_eof_handler,
-            );
-        }
-
-        if let Stream::NamedTcp(_) = stream {
-            return self.read_term(
-                stream,
-                indices,
-                MachineState::read_term_from_user_input_eof_handler,
-            );
-        }
+        match stream {
+            #[cfg(feature = "http")]
+            Stream::HttpRead(_) => {
+                return self.read_term(
+                    stream,
+                    indices,
+                    MachineState::read_term_from_user_input_eof_handler,
+                )
+            }
+            Stream::InputFile(_) | Stream::NamedTcp(_) => {
+                return self.read_term(
+                    stream,
+                    indices,
+                    MachineState::read_term_from_user_input_eof_handler,
+                )
+            }
+            _ => true,
+        };
 
         if let Stream::Byte(_) = stream {
             return self.read_term(
diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index 01f2b2ec..baad0153 100644
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -6756,7 +6756,7 @@ impl Machine {
             Err(e) => {
                 match self.user_input {
                     Stream::Byte(_) | Stream::Readline(_) => self.user_input.reset(),
-                    _ => true
+                    _ => true,
                 };
                 Err(e)
             }