From 2a39a098a65997565dbda6a738d35b3886cae6be Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 14 Oct 2011 09:12:48 -0700 Subject: [PATCH] fix docs on reading characters Closes PR 11102 --- collects/scribblings/reference/reader.scrbl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/scribblings/reference/reader.scrbl b/collects/scribblings/reference/reader.scrbl index 0d4171eb8a..22dc2fc2e3 100644 --- a/collects/scribblings/reference/reader.scrbl +++ b/collects/scribblings/reference/reader.scrbl @@ -678,10 +678,13 @@ one of the following forms: 3]{@nonterm{digit@sub{8}}}, as in string escapes (see @secref["parse-string"]).} +@;{ + Not implemented: @item{@litchar{#\x}@kleenerange[1 2]{@nonterm{digit@sub{16}}}: Unicode for the hexadecimal number specified by @kleenerange[1 2]{@nonterm{digit@sub{16}}}, as in string escapes (see @secref["parse-string"]).} +} @item{@litchar{#\u}@kleenerange[1 4]{@nonterm{digit@sub{16}}}: like @litchar{#\x}, but with up to four hexadecimal digits.}