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, 1 insertions, 1 deletions

diff --git a/stream.h b/stream.h
index 24492459..1985cb42 100644
--- a/stream.h
+++ b/stream.h
@@ -123,7 +123,7 @@ extern val stdio_stream_s;
 extern val stdin_s, stdout_s, stddebug_s, stderr_s, stdnull_s;
 
 extern val print_flo_precision_s, print_flo_digits_s, print_flo_format_s;
-extern val print_base_s, print_circle_s;
+extern val pprint_flo_format_s, print_base_s, print_circle_s;
 
 #if HAVE_SOCKETS
 extern val socket_error_s;