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

diff --git a/compiler/parser/Lexer.x b/compiler/parser/Lexer.x
index 6b73981..1118215 100644 (file)
--- a/compiler/parser/Lexer.x
+++ b/compiler/parser/Lexer.x
@@ -1640,7 +1640,7 @@ alexGetChar (AI loc s)
                  EnclosingMark         -> other_graphic
                  DecimalNumber         -> digit
                  LetterNumber          -> other_graphic
                  EnclosingMark         -> other_graphic
                  DecimalNumber         -> digit
                  LetterNumber          -> other_graphic

-                 OtherNumber           -> other_graphic
+                  OtherNumber           -> digit -- see #4373

                  ConnectorPunctuation  -> symbol
                  DashPunctuation       -> symbol
                  OpenPunctuation       -> other_graphic
                  ConnectorPunctuation  -> symbol
                  DashPunctuation       -> symbol
                  OpenPunctuation       -> other_graphic