Commit 82a769cb authored by Simon Marlow's avatar Simon Marlow
Browse files

Unicide OtherNumber category should be allowed in identifiers (#4373)

parent 50609bd7
......@@ -1640,7 +1640,7 @@ alexGetChar (AI loc s)
EnclosingMark -> other_graphic
DecimalNumber -> digit
LetterNumber -> other_graphic
OtherNumber -> other_graphic
OtherNumber -> digit -- see #4373
ConnectorPunctuation -> symbol
DashPunctuation -> symbol
OpenPunctuation -> other_graphic
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment