do a better job of printing integral floats.

diff --git a/Cargo.toml b/Cargo.toml
index 4a6ad35759a75a40f65d23960eb20af48374c913..bee4e8c4dc5634e120ffa3af5c80f1d24e6d55f5 100644 (file)
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "scryer-prolog"
-version = "0.8.14"
+version = "0.8.15"
 authors = ["Mark Thom <[email protected]>"]
 repository = "https://github.com/mthom/scryer-prolog"
 description = "A modern Prolog implementation written mostly in Rust."

diff --git a/src/prolog/heap_print.rs b/src/prolog/heap_print.rs
index 5fe5267b3d34df48084d95345d159f57aa3cfc2b..584d0c0e8ec1d33678f501bd93ff4d597d5ed94b 100644 (file)
--- a/src/prolog/heap_print.rs
+++ b/src/prolog/heap_print.rs
@@ -507,11 +507,12 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter>
                         self.append_str("0");
                     });
                 } else {
-                    let output_str = format!("{}", fl);
+                    let OrderedFloat(fl) = fl;
+                    let output_str = format!("{0:<20?}", fl);
 
                     push_space_if_amb!(self, &output_str, {
-                        self.append_str(&output_str);
-                    });
+                        self.append_str(&output_str.trim());
+                    });                
                 },
             Constant::Number(n) => {
                 let output_str = format!("{}", n);