handle input file stream on term reading from user input

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,