M2compiler-V1/tests/t_bad_with.LST

Listing:

    1  MODULE TBadWith;
    2  VAR n : INTEGER;
    3  BEGIN
    4    n := 1;
    5    WITH n DO n := 2 END
*****         ^ not a RECORD type
    6  END TBadWith.

    1 error