retire TrailedAttrVarHeapLink TrailEntry tag

diff --git a/src/machine/machine_state_impl.rs b/src/machine/machine_state_impl.rs
index 9b69c86b3de89aa911c43b4a3e1812f5dc7c03bd..b486fc3166cc45c18318583f4679fd1fa4ccca3a 100644 (file)
--- 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 2a498b02b23c62e5a459e197be5e4cde7b642413..480f5a15b5076fb023f029a4521f9b5c338ae081 100644 (file)
--- 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 168f0e8466b6ad4c02886f3b5042b52d113f320d..a8b66b352606c47b7e7339810c9091d5ec364caa 100644 (file)
--- 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,