M2compiler-V2/tests/t_bool.LST

Listing:

    1  MODULE T;
    2  VAR b : BOOLEAN;
    3  BEGIN
    4    b := NOT 1
*****             ^ boolean operand required
    5  END T.

    1 error