M2compiler-V1/tests/t_bad_with.LST

Listing:

    1  MODULE TBadWith;
    2  TYPE Point = RECORD x, y : INTEGER END;
    3  VAR p : Point; n : INTEGER;
*****          ^ not supported in this phase
    4  BEGIN
    5    n := 1;
    6    WITH p DO x := 2 END
*****         ^ not supported in this phase
    7  END TBadWith.

    2 errors