From: Bennet Bleßmann <bb-github@t-online.de>
Date: Thu, 31 Jul 2025 19:44:52 +0000 (+0200)
Subject: replace always erroring of_else with map_err
X-Git-Tag: v0.10.0~35^2~1^2~4
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=df3f1236f79675918485a56c53b881f8ea5d6316;p=scryer-prolog.git

replace always erroring of_else with map_err
---

diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index 77230c01..cdd87dfc 100644
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -3936,14 +3936,14 @@ impl Machine {
 
         self.indices.remove_stream(stream);
 
-        stream.close().or_else(|_| {
+        stream.close().map_err(|_| {
             let stub = functor_stub(atom!("close"), 1);
             let addr = stream.into();
             let err = self
                 .machine_st
                 .existence_error(ExistenceError::Stream(addr));
 
-            Err(self.machine_st.error_form(err, stub))
+            self.machine_st.error_form(err, stub)
         })
     }