M2compiler-V2/tests/t_cond.LST

Listing:

    1  MODULE T;
    2  VAR i : INTEGER;
    3  BEGIN
    4    WHILE i DO i := i + 1 END
*****          ^ BOOLEAN condition required
    5  END T.

    1 error