change IsDecimalDigit to IsDigit because Decimal is redundant

R=rsc
DELTA=792  (398 added, 383 deleted, 11 changed)
OCL=33919
CL=33921
This commit is contained in:
Rob Pike 2009-08-26 16:53:07 -07:00
parent 79606b9952
commit 24dfb749c4
8 changed files with 44 additions and 29 deletions

View file

@ -172,7 +172,7 @@ func main() {
resp.Body.Close();
fmt.Printf(
"// Generated by running\n"
"// tables --digits=%t --url=%s\n"
"// maketables --digits=%t --url=%s\n"
"// DO NOT EDIT\n\n"
"package unicode\n",
*digits,
@ -183,9 +183,9 @@ func main() {
// available to clients.
if *digits {
dumpRange(
"\n// DecimalDigit is the set of Unicode characters with the \"decimal digit\" property.\n"
"var DecimalDigit = decimalDigit\n"
"var decimalDigit = []Range {\n",
"\n// Digit is the set of Unicode characters with the \"decimal digit\" (Nd) property.\n"
"var Digit = digit\n"
"var digit = []Range {\n",
func(code int) bool { return chars[code].category == "Nd" },
"}\n"
);