fix docs on reading characters

Closes PR 11102
(cherry picked from commit 2a39a098a6)
This commit is contained in:
Matthew Flatt 2011-10-14 09:12:48 -07:00 committed by Eli Barzilay
parent a997bc72fd
commit 7ad41cd9dc

View File

@ -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.}