From 5c341ce3712d2b5a38b36ef59b90ff0a06b2df73 Mon Sep 17 00:00:00 2001
From: Thierry Marianne <thierry@marianne.io>
Date: Sun, 14 Sep 2025 12:00:55 +0200
Subject: [PATCH] handle input file stream on term reading from user input

---
 src/machine/machine_state.rs | 8 ++++++++
 1 file changed, 8 insertions(+)

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,
-- 
2.54.0