Do not allow THIN SPACE U+2009 as an operator suffix (#30158)

JuliaLang · Nov 28, 2018 · f24711c · f24711c
1 parent 437d87c
commit f24711c
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/flisp/julia_opsuffs.h b/src/flisp/julia_opsuffs.h
@@ -3,7 +3,7 @@
 
    produced by:
 
-   for c in sort(unique(collect("₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎²³¹ʰʲʳʷʸˡˢˣᴬᴮᴰᴱᴳᴴᴵᴶᴷᴸᴹᴺᴼᴾᴿᵀᵁᵂᵃᵇᵈᵉᵍᵏᵐᵒᵖᵗᵘᵛᵝᵞᵟᵠᵡᵢᵣᵤᵥᵦᵧᵨᵩᵪᶜᶠᶥᶦᶫᶰᶸᶻᶿ ⁰ⁱ⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾ⁿₐₑₒₓₕₖₗₘₙₚₛₜⱼⱽ" * "′″‴‵‶‷⁗")))
+   for c in sort(unique(collect("₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎²³¹ʰʲʳʷʸˡˢˣᴬᴮᴰᴱᴳᴴᴵᴶᴷᴸᴹᴺᴼᴾᴿᵀᵁᵂᵃᵇᵈᵉᵍᵏᵐᵒᵖᵗᵘᵛᵝᵞᵟᵠᵡᵢᵣᵤᵥᵦᵧᵨᵩᵪᶜᶠᶥᶦᶫᶰᶸᶻᶿ⁰ⁱ⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾ⁿₐₑₒₓₕₖₗₘₙₚₛₜⱼⱽ" * "′″‴‵‶‷⁗")))
        println("   ", repr(UInt32(c)), ", // ", c)
    end
 */
@@ -73,7 +73,6 @@ static const uint32_t opsuffs[] = {
    0x00001db8, // ᶸ
    0x00001dbb, // ᶻ
    0x00001dbf, // ᶿ
-   0x00002009, //  
    0x00002032, // ′
    0x00002033, // ″
    0x00002034, // ‴