From: Mark Thom Date: Sun, 24 Mar 2019 15:30:20 +0000 (-0600) Subject: do a better job of printing integral floats. X-Git-Tag: v0.8.110~158 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=12fac66431b58d99ed61fc5d8b74ece538ad8ef8;p=scryer-prolog.git do a better job of printing integral floats. --- 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);