M2compiler-V2/tests/t_rel.LST

Listing:

    1  MODULE T;
    2  VAR b : BOOLEAN;
    3  BEGIN
    4    b := 1 = TRUE
*****             ^ incompatible comparison
    5  END T.

    1 error