don't allow U+0387 in identifiers

JuliaLang · Jul 18, 2018 · a5ee0cc · a5ee0cc
1 parent 76452ef
commit a5ee0cc
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/flisp/julia_extensions.c b/src/flisp/julia_extensions.c
@@ -132,9 +132,7 @@ JL_DLLEXPORT int jl_id_char(uint32_t wc)
         cat == UTF8PROC_CATEGORY_SK || cat == UTF8PROC_CATEGORY_ME ||
         cat == UTF8PROC_CATEGORY_NO ||
         // primes (single, double, triple, their reverses, and quadruple)
-        (wc >= 0x2032 && wc <= 0x2037) || (wc == 0x2057) ||
-        // Other_ID_Continue
-        wc == 0x0387 || wc == 0x19da || (wc >= 0x1369 && wc <= 0x1371))
+        (wc >= 0x2032 && wc <= 0x2037) || (wc == 0x2057))
         return 1;
     return 0;
 }