Совместимость выражений
Для данной операции операнды являются совместимыми выражениями, если их типы соответствуют следующей таблице (в который указан также тип результата выражения). Символьные массивы, которые сравниваются, должны содержать в качестве ограничителя 0X. Тип T1 должен быть расширением типа T0:
| операция | первый операнд | второй операнд | тип результата |
| + - * | числовой | числовой | наименьший числовой тип, поглощающий оба операнда |
| / | числовой | числовой | наименьший вещественный тип, поглощающий оба операнда |
| + - * / | SET | SET | SET |
| DIV MOD | целый | целый | наименьший целый тип, поглощающий оба операнда |
| OR & ~ | BOOLEAN | BOOLEAN | BOOLEAN |
| =# < <= > >= | числовой CHAR символьный массив, строка |
числовой CHAR символьный массив, строка |
BOOLEAN BOOLEAN BOOLEAN |
| = # | BOOLEAN SET NIL, тип указатель T0 или T1 процедурный тип T, NIL |
BOOLEAN SET NIL, тип указатель T0 или T1 процедурный тип T, NIL |
BOOLEAN BOOLEAN BOOLEAN BOOLEAN |
| IN | целый | SET | BOOLEAN |
| IS | тип T0 | тип T1 | BOOLEAN |