This is an automated email from the git hooks/post-receive script.
wingo pushed a commit to branch main
in repository guile.
The following commit(s) were added to refs/heads/main by this push:
new 75cd95060 Update set of decimal zeroes for Unicode 15.1.0
75cd95060 is described below
commit 75cd95060fb1ea7586f0e4b9081694c6d61f1d3b
Author: Andy Wingo <wi...@pobox.com>
AuthorDate: Thu Nov 2 11:31:32 2023 +0100
Update set of decimal zeroes for Unicode 15.1.0
* module/scheme/char.scm (*decimal-zeroes*): Update.
---
module/scheme/char.scm | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/module/scheme/char.scm b/module/scheme/char.scm
index b5251fae5..183fda499 100644
--- a/module/scheme/char.scm
+++ b/module/scheme/char.scm
@@ -1,5 +1,5 @@
;;; R7RS compatibility libraries
-;;; Copyright (C) 2019 Free Software Foundation, Inc.
+;;; Copyright (C) 2019, 2023 Free Software Foundation, Inc.
;;;
;;; This library is free software: you can redistribute it and/or modify
;;; it under the terms of the GNU Lesser General Public License as
@@ -54,7 +54,7 @@
;; The table can be extracted with:
;; awk -F ';' '/ZERO;Nd/ {print "#x"$1}' UnicodeData.txt
-;; Up to date with Unicode 11.0.0
+;; Up to date with Unicode 15.1.0
(define *decimal-zeroes* '#(#x0030 #x0660 #x06F0 #x07C0 #x0966 #x09E6
#x0A66 #x0AE6 #x0B66 #x0BE6 #x0C66 #x0CE6 #x0D66 #x0DE6 #x0E50
@@ -62,8 +62,9 @@
#x1A90 #x1B50 #x1BB0 #x1C40 #x1C50 #xA620 #xA8D0 #xA900 #xA9D0
#xA9F0 #xAA50 #xABF0 #xFF10 #x104A0 #x10D30 #x11066 #x110F0 #x11136
#x111D0 #x112F0 #x11450 #x114D0 #x11650 #x116C0 #x11730 #x118E0
- #x11C50 #x11D50 #x11DA0 #x16A60 #x16B50 #x1D7CE #x1D7D8 #x1D7E2
- #x1D7EC #x1D7F6 #x1E950))
+ #x11950 #x11C50 #x11D50 #x11DA0 #x11F50 #x16A60 #x16AC0 #x16B50
+ #x1D7CE #x1D7D8 #x1D7E2 #x1D7EC #x1D7F6 #x1E140 #x1E2F0 #x1E4F0
+ #x1E950 #x1FBF0))
(define (digit-value char)
(define (cmp zero ch)
