From b28d682ec4efe3a48c77d799d6cf5cf0e778516e Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 17 Nov 2020 13:11:31 -0700 Subject: [PATCH] reference: correct some details on reader syntax for characters Closes #3506 and #3507 --- pkgs/racket-doc/scribblings/reference/reader.scrbl | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/pkgs/racket-doc/scribblings/reference/reader.scrbl b/pkgs/racket-doc/scribblings/reference/reader.scrbl index 11a6537e50..77489683cd 100644 --- a/pkgs/racket-doc/scribblings/reference/reader.scrbl +++ b/pkgs/racket-doc/scribblings/reference/reader.scrbl @@ -804,15 +804,18 @@ one of the following forms: 4]{@nonterm{digit@sub{16}}}, as in string escapes (see @secref["parse-string"]).} - @item{@litchar{#\U}@kleenerange[1 6]{@nonterm{digit@sub{16}}}: - like @litchar{#\u}, but with up to six hexadecimal digits.} + @item{@litchar{#\U}@kleenerange[1 8]{@nonterm{digit@sub{16}}}: + like @litchar{#\u}, but with up to eight hexadecimal digits (although + only six digits are actually useful).} @item{@litchar{#\}@nonterm{c}: the character @nonterm{c}, as long as @litchar{#\}@nonterm{c} and the characters following it - do not match any of the previous cases, and as long as + do not match any of the previous cases, as long as @nonterm{c} or the character after @nonterm{c} is not - @racketlink[char-alphabetic?]{alphabetic}.} + @racketlink[char-alphabetic?]{alphabetic}, and as long as + @nonterm{c} is not an octal digit or is not followed by an + octal digit (i.e., two octal digits commit to a third).} ]