𝟎-𝟗 and 𝟘-𝟡 Identifiers (#32838)

JuliaLang · Aug 12, 2019 · 79ea337 · 79ea337
1 parent a18ab97
commit 79ea337
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/NEWS.md b/NEWS.md
@@ -6,6 +6,7 @@ New language features
 
 * Support for Unicode 12.1.0 ([#32002]).
 * Methods can now be added to an abstract type ([#31916]).
+* Support for unicode bold-digits and double-struck digits 0 through 9 as valid identifiers ([#32838]).
 
 Language changes
 ----------------

diff --git a/src/flisp/julia_extensions.c b/src/flisp/julia_extensions.c
@@ -106,7 +106,10 @@ static int is_wc_cat_id_start(uint32_t wc, utf8proc_category_t cat)
 
             // Other_ID_Start
             wc == 0x2118 || wc == 0x212E || // ℘, ℮
-            (wc >= 0x309B && wc <= 0x309C)); // katakana-hiragana sound marks
+            (wc >= 0x309B && wc <= 0x309C) || // katakana-hiragana sound marks
+
+            // bold-digits and double-struck digits
+            (wc >= 0x1D7CE && wc <= 0x1D7E1)); // 𝟎 through 𝟗 (inclusive), 𝟘 through 𝟡 (inclusive)
 }
 
 JL_DLLEXPORT int jl_id_start_char(uint32_t wc)