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 148a9d8f46fecdcbae3a6707f5513b70b297c21e..d40d564d1d0b2518791dd0e9925d8a6bda2de648 100644 (file)
--- 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,