Rename "WSpace" full name to "whitespace".
authorChris Hanson <org/chris-hanson/cph>
Sat, 11 Feb 2017 21:02:57 +0000 (13:02 -0800)
committerChris Hanson <org/chris-hanson/cph>
Sat, 11 Feb 2017 21:02:57 +0000 (13:02 -0800)
src/etc/ucd-raw-props/names.scm
src/runtime/runtime.pkg
src/runtime/ucd-table-wspace.scm

index ab5efa525c572fc3472f7de71e0fa42f508ab4f5..b90eb8d24c85937506ebbc0d7684af63f0b1e659 100644 (file)
@@ -169,7 +169,7 @@ USA.
 ("WB" word-break
  (enum "CR" "DQ" "EB" "EBG" "EM" "EX" "Extend" "FO" "GAZ" "HL" "KA" "LE" "LF"
        "MB" "ML" "MN" "NL" "NU" "RI" "SQ" "XX" "ZWJ"))
-("WSpace" white-space boolean)
+("WSpace" whitespace boolean)
 ("XIDC" xid-continue boolean)
 ("XIDS" xid-start boolean)
 ("XO_NFC" expands-on-nfc boolean)
index 4977f29834d9a3a022667a974020df8ee2fd3a34..1388dc1db403c4fa744edaa7ce34463dd15b49bf 100644 (file)
@@ -1419,10 +1419,10 @@ USA.
         "ucd-table-wspace")
   (parent (runtime))
   (export ()
-         (char-set:whitespace char-set:white-space)
          char-set:alphabetic
          char-set:lower-case
-         char-set:upper-case)
+         char-set:upper-case
+         char-set:whitespace)
   (export (runtime character)
          ucd-cf-value
          ucd-gc-value
index d85526e75d69dc63842132af972c35d8f171c17d..09dc95fcf4de6451d81b3f2fb52195759ed46e36 100644 (file)
@@ -26,12 +26,12 @@ USA.
 
 ;;;; UCD property: WSpace
 
-;;; Generated from Unicode 9.0.0 UCD at 2017-02-10T19:43:18-08
+;;; Generated from Unicode 9.0.0
 
 (declare (usual-integrations))
 \f
 (define (ucd-wspace-value sv)
-  (scalar-value-in-char-set? sv char-set:white-space))
+  (scalar-value-in-char-set? sv char-set:whitespace))
 
-(define-deferred char-set:white-space
+(define-deferred char-set:whitespace
   (char-set* '((9 . 14) 32 133 160 5760 (8192 . 8203) (8232 . 8234) 8239 8287 12288)))