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
<malcolm.tredinnick@gmail.com> wrote:
>
>
> On 26 April 2011 07:16, Shiro Kawai <shiro.kawai@gmail.com> 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
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports