From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 11 Feb 2023 05:35:41 +0000 (-0700)
Subject: retire TrailedAttrVarHeapLink TrailEntry tag
X-Git-Tag: v0.9.2~189
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=491472a8c56bd3a239f6057d9b7fdb6f4a6d139b;p=scryer-prolog.git

retire TrailedAttrVarHeapLink TrailEntry tag
---

diff --git a/src/machine/machine_state_impl.rs b/src/machine/machine_state_impl.rs
index 9b69c86b..b486fc31 100644
--- a/src/machine/machine_state_impl.rs
+++ b/src/machine/machine_state_impl.rs
@@ -130,16 +130,6 @@ impl MachineState {
                     }
                 }
             }
-            TrailRef::AttrVarHeapLink(h) => {
-                if h < self.hb {
-                    self.trail.push(TrailEntry::build_with(
-                        TrailEntryTag::TrailedAttrVarHeapLink,
-                        h as u64,
-                    ));
-
-                    self.tr += 1;
-                }
-            }
             TrailRef::AttrVarListLink(h, l) => {
                 if h < self.hb {
                     self.trail.push(TrailEntry::build_with(
diff --git a/src/machine/mod.rs b/src/machine/mod.rs
index 2a498b02..480f5a15 100644
--- a/src/machine/mod.rs
+++ b/src/machine/mod.rs
@@ -863,9 +863,6 @@ impl Machine {
                 TrailEntryTag::TrailedAttrVar => {
                     self.machine_st.heap[h] = attr_var_as_cell!(h);
                 }
-                TrailEntryTag::TrailedAttrVarHeapLink => {
-                    self.machine_st.heap[h] = heap_loc_as_cell!(h);
-                }
                 TrailEntryTag::TrailedAttrVarListLink => {
                     let l = self.machine_st.trail[i + 1].get_value() as usize;
 
diff --git a/src/types.rs b/src/types.rs
index 168f0e84..a8b66b35 100644
--- a/src/types.rs
+++ b/src/types.rs
@@ -53,7 +53,6 @@ pub enum HeapCellValueView {
     // trail elements.
     TrailedHeapVar = 0b011101,
     TrailedStackVar = 0b011111,
-    TrailedAttrVarHeapLink =  0b100001,
     TrailedAttrVarListLink =  0b100011,
     TrailedAttachedValue =    0b100101,
     TrailedBlackboardEntry =  0b100111,
@@ -182,7 +181,6 @@ impl Ref {
 #[derive(Debug, Clone, Copy)]
 pub enum TrailRef {
     Ref(Ref),
-    AttrVarHeapLink(usize),
     AttrVarListLink(usize, usize),
     BlackboardEntry(Atom),
     BlackboardOffset(Atom, HeapCellValue), // key atom, key value
@@ -194,7 +192,6 @@ pub(crate) enum TrailEntryTag {
     TrailedHeapVar = 0b011110,
     TrailedStackVar = 0b011111,
     TrailedAttrVar = 0b101110,
-    TrailedAttrVarHeapLink = 0b100010,
     TrailedAttrVarListLink = 0b100011,
     TrailedAttachedValue = 0b101010,
     TrailedBlackboardEntry = 0b100110,