OberonCore

Любопытная деталь: компилятор ББ считает число -9223372036854775808 в тексте программы ошибкой, хотя оно входит в диапазон LONGINT согласно Сообщению о языке. Вместо этого можно писать MIN(LONGINT) или -9223372036854775807 - 1.

Связано с тем, что унарный минус расценивается как операция, за которой следует число; а 9223372036854775808 не входит в диапазон LONGINT, и поэтому выдается ошибка number too large.

Поправить несложно:

в DevCPS:
(* global *)
VAR unaryMinus*: BOOLEAN;
(* в PROCEDURE Number после строчки *)
ELSIF intval < 9223372036854775808.0E0 - realval THEN numtyp := int64 (* 2^63 *)
(* добавить *)
ELSIF unaryMinus & (intval = 9223372036854775808.0E0 - realval) THEN numtyp := int64
(* и в конце *)
IF unaryMinus THEN intval := -intval; realval := -realval END
END Number;

DevCPP:
(* в PROCEDURE SimpleExpression *)
IF sym = minus THEN DevCPS.unaryMinus := TRUE; DevCPS.Get(sym); DevCPS.unaryMinus := FALSE; Term(x);
IF (x.class # Nconst) OR ~(x.typ.form IN {Int8, Int16, Int32, Int64, Real32, Real64}) THEN
DevCPB.MOp(minus, x)
END

Но, может, и не стоит трогать 20-летний код ради такой мелочи.

В КП нет одиночного минуса. Есть сложение и вычитание с неявным 0. Разница может показаться бессмысленной мелочью, но чему будет равен (- 1 DIV 2)?

Коллега, похоже, вы правы!

SimpleExpr = ["+"|"-"] Term {AddOp Term}.
Term = Factor {MulOp Factor}.

Т.е. все-таки унарный минус есть, но он применяется к терму, в частном случае - к константе. А отрицательных чисел в тексте модуля с т.зр. Сообщения не бывает. Я этого не учел, поэтому мое решение некорректно.

Если уж очень хочется иметь возможность записать минимальное константное значение без применения арифметики, то лучше позволить использовать максимальное значение с зачётом единицы. Главное, чтобы конечное значение вписывалось в диапазон. Можно и обобщить.

Ну и это не одиночный минус, а именно арифметика с неявным 0. Одиночный минус записывается отдельным синтаксическим выражением(усложнением) и понижает ошибкоустойчивость синтаксиса. Всё не критично, но не нужно.