json: functions put-json and put-jsonl.

* eval.c (eval_init): Register put-json and put-jsonl
intrinsics.

* lib.c (out_json_str): Do not output the U+DC01 to U+DCFF
code points by masking them and using put_byte. This is
unnecessary; if we just send them as-is to the text stream,
the UTF-8 encoder does that for us.
(put_json, put_jsonl): New functions.

* lib.h (put_json, put_jsonl): Declared.

* txr.1: Documented. The bulk of tojson is moved under the
descriptions of these new functions, and elsewhere where the
document pointed to tojson for more information, it now points
to put-json. More detailed description of character treatment
is given.

* share/txr/stdlib/doc-syms.tl: Updated.

1 files changed, 22 insertions, 2 deletions

diff --git a/lib.c b/lib.c
index 1d2c65b7..26966cbb 100644
--- a/lib.c
+++ b/lib.c
@@ -12609,8 +12609,6 @@ static void out_json_str(val str, val out)
             ch == 0xFFFE || ch == 0xFFFF)
         {
           format(out, lit("\\u~,04X"), chr(ch), nao);
-        } else if (ch >= 0xDC01 && ch < 0xDD00) {
-          put_byte(num_fast(ch & 0xFF), out);
         } else if (ch >= 0xFFFF) {
           wchar_t c20 = ch - 0x10000;
           wchar_t sg0 = 0xD800 + ((c20 >> 10) & 0x3FF);
@@ -13459,6 +13457,28 @@ val tostringp(val obj)
   return get_string_from_stream(ss);
 }
 
+val put_json(val obj, val stream_in, val flat)
+{
+  val stream = default_arg(stream_in, std_output);
+
+  if (default_null_arg(flat)) {
+    out_json_rec(obj, stream, 0);
+  } else {
+    val imode = set_indent_mode(stream, num_fast(indent_foff));
+    out_json_rec(obj, stream, 0);
+    set_indent_mode(stream, imode);
+  }
+
+  return t;
+}
+
+val put_jsonl(val obj, val stream, val flat)
+{
+  put_json(obj, stream, flat);
+  put_char(chr('\n'), stream);
+  return t;
+}
+
 val tojson(val obj, val flat)
 {
   val ss = make_string_output_stream();