Listing:

    1  MODULE RBadField;
    2  TYPE R = RECORD x : INTEGER END;
    3  VAR r : R;
    4  BEGIN
    5    r.z := 1
*****      ^ unknown field
    6  END RBadField.

    1 error