From: Thierry Marianne <thierry@marianne.io>
Date: Sun, 14 Sep 2025 10:00:55 +0000 (+0200)
Subject: handle input file stream on term reading from user input
X-Git-Tag: v0.10.0~2^2~6
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5c341ce3712d2b5a38b36ef59b90ff0a06b2df73;p=scryer-prolog.git

handle input file stream on term reading from user input
---

diff --git a/src/machine/machine_state.rs b/src/machine/machine_state.rs
index 148a9d8f..d40d564d 100644
--- a/src/machine/machine_state.rs
+++ b/src/machine/machine_state.rs
@@ -755,6 +755,14 @@ impl MachineState {
             );
         }
 
+        if let Stream::InputFile(_) = stream {
+            return self.read_term(
+                stream,
+                indices,
+                MachineState::read_term_from_user_input_eof_handler,
+            );
+        }
+
         if let Stream::Byte(_) = stream {
             return self.read_term(
                 stream,