rename debug display function

argumentcomputer · Aug 16, 2023 · 130c0df · 130c0df
1 parent 6148c7f
commit 130c0df
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 11 deletions.
diff --git a/src/lem/interpreter.rs b/src/lem/interpreter.rs
@@ -198,7 +198,7 @@ impl Block {
                 }
                 Op::Emit(a) => {
                     let a = bindings.get(a)?;
-                    println!("{}", a.fmt_to_string(store))
+                    println!("{}", a.dgb_display(store))
                 }
                 Op::Hash2(img, tag, preimg) => {
                     let preimg_ptrs = bindings.get_many_cloned(preimg)?;

diff --git a/src/lem/store.rs b/src/lem/store.rs
@@ -375,7 +375,7 @@ impl<F: LurkField> Store<F> {
 }
 
 impl<F: LurkField> Ptr<F> {
-    pub fn fmt_to_string(self, store: &Store<F>) -> String {
+    pub fn dgb_display(self, store: &Store<F>) -> String {
         if let Some(s) = store.fetch_string(&self) {
             return format!("\"{}\"", s);
         }
@@ -395,29 +395,29 @@ impl<F: LurkField> Ptr<F> {
                 format!(
                     "({} {} {})",
                     tag,
-                    (*p1).fmt_to_string(store),
-                    (*p2).fmt_to_string(store)
+                    (*p1).dgb_display(store),
+                    (*p2).dgb_display(store)
                 )
             }
             Ptr::Tree3(tag, x) => {
                 let (p1, p2, p3) = store.fetch_3_ptrs(x).unwrap();
                 format!(
                     "({} {} {} {})",
                     tag,
-                    (*p1).fmt_to_string(store),
-                    (*p2).fmt_to_string(store),
-                    (*p3).fmt_to_string(store)
+                    (*p1).dgb_display(store),
+                    (*p2).dgb_display(store),
+                    (*p3).dgb_display(store)
                 )
             }
             Ptr::Tree4(tag, x) => {
                 let (p1, p2, p3, p4) = store.fetch_4_ptrs(x).unwrap();
                 format!(
                     "({} {} {} {} {})",
                     tag,
-                    (*p1).fmt_to_string(store),
-                    (*p2).fmt_to_string(store),
-                    (*p3).fmt_to_string(store),
-                    (*p4).fmt_to_string(store)
+                    (*p1).dgb_display(store),
+                    (*p2).dgb_display(store),
+                    (*p3).dgb_display(store),
+                    (*p4).dgb_display(store)
                 )
             }
         }