fix docs on reading characters

Closes PR 11102
This commit is contained in:
Matthew Flatt 2011-10-14 09:12:48 -07:00
parent eba0ca2d4d
commit 2a39a098a6

View File

@ -678,10 +678,13 @@ one of the following forms:
3]{@nonterm{digit@sub{8}}}, as in string escapes (see 3]{@nonterm{digit@sub{8}}}, as in string escapes (see
@secref["parse-string"]).} @secref["parse-string"]).}
@;{
Not implemented:
@item{@litchar{#\x}@kleenerange[1 2]{@nonterm{digit@sub{16}}}: @item{@litchar{#\x}@kleenerange[1 2]{@nonterm{digit@sub{16}}}:
Unicode for the hexadecimal number specified by @kleenerange[1 Unicode for the hexadecimal number specified by @kleenerange[1
2]{@nonterm{digit@sub{16}}}, as in string escapes (see 2]{@nonterm{digit@sub{16}}}, as in string escapes (see
@secref["parse-string"]).} @secref["parse-string"]).}
}
@item{@litchar{#\u}@kleenerange[1 4]{@nonterm{digit@sub{16}}}: @item{@litchar{#\u}@kleenerange[1 4]{@nonterm{digit@sub{16}}}:
like @litchar{#\x}, but with up to four hexadecimal digits.} like @litchar{#\x}, but with up to four hexadecimal digits.}