5.6 REPEAT … UNTIL

repeat… until is very similar in purpose to while… do. Its syntax is:

(PASCAL users note: Only a single statement – usually a group statement – is allowed between the repeat and the until.)

There are two essential differences:

1. The test is performed after the controlled statement (or group of statements) is executed, so the controlled statement is always executed at least once.
2. The test is a test for when to stop rather than when to continue, so its “polarity” is the opposite of that in while… do.

As an example, we rewrite the example from the while …do section:

In this case, the answer will be the same as before, because in neither case is a term added to ex which is less than 1/1000.