From 5f70abef0cb3753e974a9f1507c3a53e00b65e82 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 18 May 2019 12:35:23 -0400 Subject: [PATCH] update docs on numbers and case sensitivity Closes #2660, maybe permanently this time. --- pkgs/racket-doc/scribblings/reference/reader.scrbl | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/pkgs/racket-doc/scribblings/reference/reader.scrbl b/pkgs/racket-doc/scribblings/reference/reader.scrbl index 6a62fb667e..aee85be729 100644 --- a/pkgs/racket-doc/scribblings/reference/reader.scrbl +++ b/pkgs/racket-doc/scribblings/reference/reader.scrbl @@ -279,6 +279,12 @@ A @litchar{#} in an @nunterm{inexact} number is the same as @litchar{0}, but @litchar{#} can be used to suggest that the digit's actual value is unknown. +All letters in a number representation are parsed case-insensitively, +independent of the @racket[read-case-sensitive] parameter. For +example, @litchar{#I#D+InF.F+3I} is parsed the same as +@litchar{#i#d+inf.f+3i}. In the grammar below, each literal lowercase +letter stands for both itself and its uppercase form. + @BNF[(list @nunterm{number} @BNF-alt[@nunterm{exact} @nunterm{inexact}]) (list @nunterm{exact} @BNF-alt[@nunterm{exact-rational}