CocoR/Test1/tests/t_bad_bool.LST

Listing:

    1  MODULE TBool;
    2  VAR x, y : INTEGER; b : BOOLEAN;
    3  BEGIN b := x AND y
*****                   ^ boolean operand required
    4  END TBool.

    1 error