bugfix: tostringp not behaving right for floats.

The obj printer is ignoring the pretty flag when rendering
floating-point numbers, and just formatting them using
*print-flo-format*.

To address this issue, we introduce an additional
*pprint-flo-format* variable.

* lib.c (obj_print_impl): In the FLNUM case, use either
the value of *print-flo-format* or *pprint-flo-format* based
on the value of the pretty flag.

* stream.c (pprint_flo_format_s): New symbol variable.
(stream_init): Initialize pprint_flo_format_s with interned
symbol *pprint-flo-format* and register this as a special
variable.

* stream.c (pprint_flo_format_s): Declared.

* txr.1: Documented *pprint-flo-format*. Also put in a
note in the description of the various print functions
that the equivalences based on ~s and ~a only apply
to floats when the special variables have their original
values.

1 files changed, 4 insertions, 1 deletions

diff --git a/stream.c b/stream.c
index b00b4720..b34da981 100644
--- a/stream.c
+++ b/stream.c
@@ -74,7 +74,7 @@
 val stdin_s, stdout_s, stddebug_s, stderr_s, stdnull_s;
 
 val print_flo_precision_s, print_flo_digits_s, print_flo_format_s;
-val print_base_s, print_circle_s;
+val pprint_flo_format_s, print_base_s, print_circle_s;
 
 val from_start_k, from_current_k, from_end_k;
 val real_time_k, name_k, addr_k, fd_k, byte_oriented_k;
@@ -4193,6 +4193,9 @@ void stream_init(void)
   reg_var(print_flo_format_s = intern(lit("*print-flo-format*"),
                                       user_package),
           lit("~s"));
+  reg_var(pprint_flo_format_s = intern(lit("*pprint-flo-format*"),
+                                       user_package),
+          lit("~a"));
   reg_var(print_base_s = intern(lit("*print-base*"), user_package),
           num_fast(10));
   reg_var(print_circle_s = intern(lit("*print-circle*"), user_package), nil);