Listing:

    1  MODULE QBadWith;
    2  TYPE Point = RECORD x, y : INTEGER END;
    3  VAR p : Point; n : INTEGER;
*****          ^ qbe backend: construct not supported in scalar subset
    4  BEGIN
    5    n := 1;
    6    WITH p DO x := 2 END
*****         ^ qbe backend: construct not supported in scalar subset
    7  END QBadWith.

    2 errors