Должен ли анализатор Haskell разрешать цифры Unicode в числовых литералах?

В качестве упражнения я пишу парсер для Haskell с нуля. Создавая лексер, я заметил следующие правила в отчете Haskell 2010 :

цифра → ascDigit | uniDigit
ascDigit → 0| 1| … | 9
uniDigit → любая десятичная цифра Unicode
октит → 0| 1| … | 7
hexit → цифра | A| … | F| a| … |f

десятичное → значный { цифра }
восьмеричное → octit { octit }
шестнадцатеричное → hexit { hexit }

целое число → десятичное число | 0o восьмеричный | 0O восьмеричный | 0x шестнадцатеричный | 0X шестнадцатеричное число с
плавающей запятой → десятичное . десятичное [ экспонента ] | показатель
степени десятичной дроби → ( e| E) [ +| -] десятичный

Десятичные и шестнадцатеричные литералы, а также литералы с плавающей запятой, все основаны на цифре , которая допускает любую десятичную цифру Unicode, вместо ascDigit , который допускает только основные цифры 0-9 из ASCII. Как ни странно, восьмеричное основано на октите , который вместо этого допускает только цифры ASCII 0-7. Я предполагаю, что эти десятичные цифры Unicode - это любые кодовые точки Unicode с общей категорией «Nd». Однако сюда входят такие символы, как цифры полной ширины ０-９ и цифры деванагари ०-९. Я могу понять, почему было бы желательно разрешить это в идентификаторах, но я не вижу никакой выгоды, позволяющей писать ९０для литерала 90.

GHC, похоже, согласен со мной. Когда я пытаюсь скомпилировать этот файл,

module DigitTest where
x1 = １

это выплевывает эту ошибку.

digitTest1.hs:2:6: error: lexical error at character '\65297'
  |
2 | x1 = １
  |      ^

Тем не менее, этот файл

module DigitTest where
x１ = 1

компилируется просто отлично. Я неправильно читаю спецификацию языка? Является ли поведение GHC (разумное) действительно правильным, или оно технически противоречит спецификации в Отчете? Я не могу найти упоминания об этом нигде.

В файле исходного кода GHC compiler/parser/Lexer.xвы можете найти следующий код:

ascdigit  = 0-9
$unidigit  = \x03 -- Trick Alex into handling Unicode. See [Unicode in Alex].
$decdigit  = $ascdigit -- for now, should really be $digit (ToDo)
$digit     = [$ascdigit $unidigit]
...
$binit     = 0-1
$octit     = 0-7
$hexit     = [$decdigit A-F a-f]
...
@numspc       = _*                   -- numeric spacer (#14473)
@decimal      = $decdigit(@numspc $decdigit)*
@binary       = $binit(@numspc $binit)*
@octal        = $octit(@numspc $octit)*
@hexadecimal  = $hexit(@numspc $hexit)*
@exponent     = @numspc [eE] [\-\+]? @decimal
@bin_exponent = @numspc [pP] [\-\+]? @decimal

Здесь $decdigitиспользуется для анализа десятичных и шестнадцатеричных литералов (и их вариантов с плавающей запятой), а $digitиспользуется для «числовой» части буквенно-цифровых идентификаторов. В примечании «ToDo» разъясняется, что это признанное отклонение GHC от языкового стандарта.

Итак, вы правильно читаете спецификацию, а GHC намеренно нарушает спецификацию. Есть открытый билет, который предлагает, по крайней мере, документировать отклонение, но я не думаю, что кто-либо выразил какой-либо интерес к его исправлению.