OberonCore

Хотел добавить в "Технологии компиляции", но там закрыто...

Как правильно сканер/парсер должен прочитать (LONGINT) число -9223372036854775808?

Если это число встречается при объявлении константы
CONST a = -9223372036854775808;
то, казалось бы, всё должно быть хорошо.

Если это число идёт в выражении VAR i, j: LONGINT
i := j - 9223372036854775808;
то тут возникает неоднозначность потому, что максимальное положительное число LONGINT равно 9223372036854775807, а знак - здесь вроде как не унарный, хотя тождественным преобразованием в него превращается:
i := j + (-9223372036854775808);


Вопрос в том кто отвечает за распознавание таких штуковин: сканер или парсер?

Традиционно это делает сканер (так проще запрограммировать), но для сканера выражение
"-9223372036854775808"
есть не один, а два символа: "-" и "9223372036854775808", причём второй - number to large.

И как же быть? Неужели числовые литералы должен распознавать не сканер, а парсер?

Но перенос этого дела из сканера в парсер усложнит его, а в итоге даст только то, что константу "-9223372036854775808" можно будет написать в тексте программы. Стоит ли овчинка выделки?

За попадание в диапазон ответственность с программиста не снимается никогда.
А значит важнее простые правила игры.
Вроде именно для этого придуманы всякие MIN(LONGINT).

Как "-", 9223372036854775808.

Не обязательно усложнять парсер. Можно усложнить сканер : ). После разбора знака минуса проверить, не идёт ли следом число. Если число не укладывается в верхний предел, но укладывается в нижний, то вернуть не минус с последующим числом, а плюс и отрицательное число.
Для этого в сканере придётся завести список опознанных, но не отправленных парсеру лексем.
А чем Вам не нравится такой способ?Ведь Вы же не расстраиваетесь по поводу того, что нельзя так: