* lib.c (obj_print): Render character DC00 as "pnul".

Clean up code which chooses rendering for characters.
Print C0 and C1 control characters, as well as D800-DFFF,
FFFE and FFFF and characters above FFFF using hex;
others are printed using the #\<char> notation.

* parser.y (char_from_name): map "pnul" to DC00.

* txr.1: Documented pnul, clarified character
printing rules, and added a cautionary note about
possible ambiguity in printing.

1 files changed, 1 insertions, 0 deletions

diff --git a/parser.y b/parser.y
index 951427c1..cda1aaf8 100644
--- a/parser.y
+++ b/parser.y
@@ -1276,6 +1276,7 @@ static wchar_t char_from_name(const wchar_t *name)
     { L"return", L'\r' },
     { L"esc", 27 },
     { L"space", L' ' },
+    { L"pnul", 0xDC00 },
     { 0, 0 },
   };
   int i;