From: Mark <markjordanthom@gmail.com>
Date: Wed, 12 Jul 2023 17:44:44 +0000 (-0600)
Subject: Revert "add stream alias check to atom/1 (#1855)"
X-Git-Tag: v0.9.2~68
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8c33da11ce761d6e90446f20d4236da947cc30cb;p=scryer-prolog.git

Revert "add stream alias check to atom/1 (#1855)"

This reverts commit b746a8f9ab191da151ba06e2dd5fbe41f23382b2.
---

diff --git a/src/machine/dispatch.rs b/src/machine/dispatch.rs
index 047d5071..e1ba0c0f 100644
--- a/src/machine/dispatch.rs
+++ b/src/machine/dispatch.rs
@@ -2376,20 +2376,6 @@ impl Machine {
                         (HeapCellValueTag::Char) => {
                             self.machine_st.p += 1;
                         }
-                        (HeapCellValueTag::Cons, c) => {
-                            match_untyped_arena_ptr!(c,
-                               (ArenaHeaderTag::Stream, stream) => {
-                                   if stream.options().get_alias().is_none() {
-                                       self.machine_st.backtrack();
-                                   } else {
-                                       self.machine_st.p += 1;
-                                   }
-                               }
-                               _ => {
-                                   self.machine_st.backtrack();
-                               }
-                            );
-                        }
                         _ => {
                             self.machine_st.backtrack();
                         }
@@ -2419,20 +2405,6 @@ impl Machine {
                         (HeapCellValueTag::Char) => {
                             self.machine_st.p = self.machine_st.cp;
                         }
-                        (HeapCellValueTag::Cons, c) => {
-                            match_untyped_arena_ptr!(c,
-                               (ArenaHeaderTag::Stream, stream) => {
-                                   if stream.options().get_alias().is_none() {
-                                       self.machine_st.backtrack();
-                                   } else {
-                                       self.machine_st.p = self.machine_st.cp;
-                                   }
-                               }
-                               _ => {
-                                   self.machine_st.backtrack();
-                               }
-                            );
-                        }
                         _ => {
                             self.machine_st.backtrack();
                         }