From d4678141dee008bdcc1c781e108e43999336af39 Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Sat, 11 Feb 2017 13:02:57 -0800 Subject: [PATCH] Rename "WSpace" full name to "whitespace". --- src/etc/ucd-raw-props/names.scm | 2 +- src/runtime/runtime.pkg | 4 ++-- src/runtime/ucd-table-wspace.scm | 6 +++--- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/src/etc/ucd-raw-props/names.scm b/src/etc/ucd-raw-props/names.scm index ab5efa525..b90eb8d24 100644 --- a/src/etc/ucd-raw-props/names.scm +++ b/src/etc/ucd-raw-props/names.scm @@ -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) diff --git a/src/runtime/runtime.pkg b/src/runtime/runtime.pkg index 4977f2983..1388dc1db 100644 --- a/src/runtime/runtime.pkg +++ b/src/runtime/runtime.pkg @@ -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 diff --git a/src/runtime/ucd-table-wspace.scm b/src/runtime/ucd-table-wspace.scm index d85526e75..09dc95fcf 100644 --- a/src/runtime/ucd-table-wspace.scm +++ b/src/runtime/ucd-table-wspace.scm @@ -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)) (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))) -- 2.25.1