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
