]> Repositorios git - scryer-prolog.git/commitdiff
Revert "add stream alias check to atom/1 (#1855)"
authorMark <[email protected]>
Wed, 12 Jul 2023 17:44:44 +0000 (11:44 -0600)
committerMark <[email protected]>
Wed, 12 Jul 2023 17:44:44 +0000 (11:44 -0600)
This reverts commit b746a8f9ab191da151ba06e2dd5fbe41f23382b2.

src/machine/dispatch.rs

index 047d507124ca7c5075fbc193b91828b7a5178e7e..e1ba0c0f3bdcbf65415fb3cfe9ad589c88abe5ad 100644 (file)
@@ -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();
                         }