From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 23 May 2022 17:15:58 +0000 (-0600)
Subject: use existence_error for dropped streams (#1472)
X-Git-Tag: v0.9.1~19
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=084fc845902f7b435b0e5e44aaeba023bc28958f;p=scryer-prolog.git

use existence_error for dropped streams (#1472)
---

diff --git a/src/machine/streams.rs b/src/machine/streams.rs
index 298c3441..73839087 100644
--- a/src/machine/streams.rs
+++ b/src/machine/streams.rs
@@ -1343,6 +1343,12 @@ impl MachineState {
                              Ok(stream)
                          };
                      }
+                     (ArenaHeaderTag::Dropped, _value) => {
+                         let stub = functor_stub(caller, arity);
+                         let err = self.existence_error(ExistenceError::Stream(addr));
+
+                         return Err(self.error_form(err, stub));
+                     }
                      _ => {
                      }
                 );