rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source 
This reverts commit b746a8f9ab.
This commit is contained in:
Mark
2023-07-12 11:44:44 -06:00
parent ab80c84714
commit 8c33da11ce
1 changed files with 0 additions and 28 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
src/machine/dispatch.rs
View File

@@ -2376,20 +2376,6 @@ impl Machine {
(HeapCellValueTag::Char) => { (HeapCellValueTag::Char) => {
self.machine_st.p += 1; 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(); self.machine_st.backtrack();
} }
@@ -2419,20 +2405,6 @@ impl Machine {
(HeapCellValueTag::Char) => { (HeapCellValueTag::Char) => {
self.machine_st.p = self.machine_st.cp; 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(); self.machine_st.backtrack();
} }