Секретная фича Паскаля

[spamsink]

В процессе декомпиляции очередной программы на Паскаль-автокоде я обнаружил использование фичи, которая, насколько я знаю, только в нём и существовала:

  СИСТЕМА ПУЛЬТ   14.09.80    
ред пам
и
ФАЙЛ ПУСТОЙ
в
0001 _program main;
0002 _type range=-9999..9999;
0003 _procedure check(i:integer);
0004 _(
0005   _if i _in range _then
0006     writeln(i:0, ' is in range')
0007   _else
0008     writeln(i:0, ' is not in range');
0009 _);
0010 _(
0011   check(-1000000);
0012   check(-100);
0013   check(999);
0014   check(99999);
0015 _).
0016 
z
В ФАЙЛ БУФ    ЗАПИСАНО ЗОН: 1 (270000:24)
пас буф
 ПАСКАЛЬ-АВТОКОД 9.(17.05.88) 
-1000000 IS NОТ IN RАNGЕ 
-100 IS IN RАNGЕ 
999 IS IN RАNGЕ 
99999 IS NОТ IN RАNGЕ 
ВСЕ СДЕЛАНО.

Интересно, кто-нибудь на Западе догадался использовать существующую функцию компилятора в мирных целях путем тривиального расширения синтаксиса?

Comments

[vak]

Погуглил этот вопрос:

https://stackoverflow.com/questions/24993971/checking-to-see-if-a-number-is-within-a-range-in-free-pascal

[spamsink]

Что во Free Pascal так нельзя, я знал. Играться можно тут: https://www.onlinegdb.com/online_pascal_compiler

Но удивительно, что, начиная с Вирта, так никто, кроме Пирина, и не догадался. Реализация, причём, должна занимать считаные строки: метаоперация "проверить значение на принадлежность к типу-диапазону" уже есть в компиляторе.

[x86128]

Вроде бы эта мелочь, которая обнаружилась на этапе реализации языка, вполне могла бы попасть в стандарт языка, но с учетом того что Вирт любит махать бритвой Оккама - не удивительно.

[spamsink]

Ну вот break и continue попали же в Турбо-Паскаль и далее, никакой Вирт не помешал.