From 084fc845902f7b435b0e5e44aaeba023bc28958f Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Mon, 23 May 2022 11:15:58 -0600 Subject: [PATCH] use existence_error for dropped streams (#1472) --- src/machine/streams.rs | 6 ++++++ 1 file changed, 6 insertions(+) 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)); + } _ => { } ); -- 2.54.0