Даже требование есть, и в стандартеМЭК 880.
> -- Цитата:
> Таблица D.3 а - Диапазон каждой переменной должен определяться при трансляции
Мораль проста. Ада - сундук, там есть все. Оберон - чемоданчик. Нужно обязательно предусмотреть подключение требования во фронтенде USE или RESTRICT +RANGES и далее озаботиться в бэкенде этой реализацией. Но это для тех, кому это необходимо.