From 12fac66431b58d99ed61fc5d8b74ece538ad8ef8 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 24 Mar 2019 09:30:20 -0600 Subject: [PATCH] do a better job of printing integral floats. --- Cargo.toml | 2 +- src/prolog/heap_print.rs | 7 ++++--- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/Cargo.toml b/Cargo.toml index 4a6ad357..bee4e8c4 100644 --- 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 "] 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 5fe5267b..584d0c0e 100644 --- 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); -- 2.54.0