From e9834ffa3ea8680479205bc0dbfaa4de092075fe Mon Sep 17 00:00:00 2001
From: Thierry Marianne <thierry@marianne.io>
Date: Mon, 15 Sep 2025 08:28:23 +0200
Subject: [PATCH] throw permission_error when non-input stream is read

Signed-off-by: Thierry Marianne <thierry@marianne.io>
---
 src/machine/machine_state.rs | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/src/machine/machine_state.rs b/src/machine/machine_state.rs
index a3c141e0..26ba9a69 100644
--- a/src/machine/machine_state.rs
+++ b/src/machine/machine_state.rs
@@ -766,7 +766,16 @@ impl MachineState {
                 indices,
                 MachineState::read_term_from_user_input_eof_handler,
             ),
-            _ => Err(functor_stub(atom!("read_term_from_user_input"), 3)),
+            _ => {
+                let stub = functor_stub(atom!("read_term_from_user_input"), 3);
+                let err = self.permission_error(
+                    Permission::InputStream,
+                    atom!("stream"),
+                    atom_as_cell!(atom!("user_input")),
+                );
+
+                Err(self.error_form(err, stub))
+            }
         }
     }
 
-- 
2.54.0