From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 1 May 2020 00:20:42 +0000 (-0600)
Subject: use slightly better names in indexing functions
X-Git-Tag: v0.8.123~86
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=efd5d6efab2f931528eb1e4ef2587031e92adbbf;p=scryer-prolog.git

use slightly better names in indexing functions
---

diff --git a/src/prolog/indexing.rs b/src/prolog/indexing.rs
index 4873fc03..75a47736 100644
--- a/src/prolog/indexing.rs
+++ b/src/prolog/indexing.rs
@@ -54,7 +54,7 @@ impl CodeOffsets {
         }
     }
 
-    fn intercept_constant(&mut self, constant: &Constant, index: usize) {
+    fn intercept_overlapping_constant(&mut self, constant: &Constant, index: usize) {
         match constant {
             &Constant::Atom(ref name, ref op) if name.is_char() => {
                 let c = name.as_str().chars().next().unwrap();
@@ -162,7 +162,7 @@ impl CodeOffsets {
                 self.lists.push(Self::add_index(is_initial_index, index));
             }
             &Term::Constant(_, ref constant) => {
-                self.intercept_constant(constant, index);
+                self.intercept_overlapping_constant(constant, index);
 
                 let code = self.constants
                     .entry(constant.clone())
diff --git a/src/prolog/machine/machine_indices.rs b/src/prolog/machine/machine_indices.rs
index fe885bb9..3c585d76 100644
--- a/src/prolog/machine/machine_indices.rs
+++ b/src/prolog/machine/machine_indices.rs
@@ -238,7 +238,7 @@ impl Addr {
         }
     }
 
-    pub fn as_constant(&self, machine_st: &MachineState) -> Option<Constant> {
+    pub fn as_constant_index(&self, machine_st: &MachineState) -> Option<Constant> {
         match self {
             &Addr::Char(c) => {
                 Some(Constant::Char(c))
@@ -249,7 +249,7 @@ impl Addr {
             &Addr::Con(h) => {
                 match &machine_st.heap[h] {
                     &HeapCellValue::Atom(ref name, ref op) => {
-                        Some(Constant::Atom(name.clone(), op.clone()))
+                        Some(Constant::Atom(name.clone(), None))
                     }
                     &HeapCellValue::Integer(ref n) => {
                         Some(Constant::Integer(n.clone()))
diff --git a/src/prolog/machine/machine_state_impl.rs b/src/prolog/machine/machine_state_impl.rs
index 14e4679b..42e45b4d 100644
--- a/src/prolog/machine/machine_state_impl.rs
+++ b/src/prolog/machine/machine_state_impl.rs
@@ -1433,7 +1433,7 @@ impl MachineState {
                 let addr = self.store(self.deref(addr));
 
                 let offset =
-                    match addr.as_constant(&self) {
+                    match addr.as_constant_index(&self) {
                         Some(c) => {
                             match hm.get(&c) {
                                 Some(offset) => *offset,