Yes, that's the closest thing I could find. However, I can't still find a definitive description on how to determine a character has "Numeric" property or not. Again, character's Numeric_Type != None might be the definition, but that's not explicit. If it's not just me who can't find the definition, it may be a better idea to adjust the description in R7RS's char-numeric?.
On Mon, Apr 25, 2011 at 2:38 PM, Malcolm Tredinnick <[email protected]> wrote: > > > On 26 April 2011 07:16, Shiro Kawai <[email protected]> wrote: > [...] > >> >> I looked at older versions of Unicode. Until Unicode 3.0.1, >> PropList.txt did list >> "Numeric" characters. In 3.1.0's they were gone (or moved somewhere I >> couldn't find). > > Yes, the Unicode group reorganised those files a while ago. The source > information you're after is still in UnicodeData.txt as property fields 6, > 7, and 8, but that's a little painful to get at. > > The file I think you're after is > http://www.unicode.org/Public/6.0.0/ucd/extracted/DerivedNumericType.txt . > The extracted/ directory contains a bunch of those "extracted by property > type" files for easier processing. > > Regards, > Malcolm > > _______________________________________________ Scheme-reports mailing list [email protected] http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
