use existence_error for dropped streams (#1472)

diff --git a/src/machine/streams.rs b/src/machine/streams.rs
index 298c34414c5993c4b770bb86f51b3f32a3713ce8..7383908770c74d11557ccbe32760de8fd48a28b3 100644 (file)
--- 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));
+                     }
                      _ => {
                      }
                 );