Erratum #28 to R7RS-small: char-numeric? is technically not well defined.

[John Cowan]

The definition of char-numeric? refers to a nonexistent Unicode property Numeric_Digit.  The intention was to refer to characters whose Numeric_Type property is either Digit or Decimal, which is defined by Unicode as those characters with a non-empty value in field 7 of the UnicodeData.txt file. The simplest fix is to change the relevant paragraph of Section 6.6 from "Numeric_Digit" to "Numeric_Type=Digit or Numeric_Type=Decimal". 

(Similarly, R6RS refers to the nonexistent property "Numeric", which could be interpreted either as above, or as also including characters with Numeric_Type=Numeric, which are non-digits such as fractions and powers of ten.  These characters have non-empty values in field 8 of UnicodeData.txt.)

-- 

John Cowan          http://vrici.lojban.org/~cowan        co...@ccil.org

"But I am the real Strider, fortunately," he said, looking down at them

with his face softened by a sudden smile.  "I am Aragorn son of Arathorn,

and if by life or death I can save you, I will."

[Alex Shinn]

What about using the category Nd (Number, Decimal Digit)?

--

Alex

--
You received this message because you are subscribed to the Google Groups "scheme-reports-wg2" group.
To unsubscribe from this group and stop receiving emails from it, send an email to scheme-reports-...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.