Здравствуйте, Сергей Губанов, Вы писали:

СГ>Циклы бывают всего трех типов:

На самом деле все три типа можно свести к одному — WHILE. Обоснование есть, IMHO, и у Вирта.

[.....]

СГ>В WHILE и в REPEAT нету никакого EXIT!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! EXIT есть только внутри LOOP ... END. Теперь понятно?

На фиг мне такой EXIT, чтобы я еще думал, в каком цикле его можно использовать, а в каком — нет.

P>>Простейший пример: найти в массиве первый отрицательный элемент.

СГ>На, пожалуй начинать надо с элементарных примеров:
СГ>i := 0;
СГ>WHILE (i < LEN(a)) & (a[i] >= 0) DO INC(i) END

Я не просил переписать этот код на Обероне. Вопрос был: в каком из примеров assert сработает, а в каком — нет. Сами примеры еще раз не привожу.