CocoR/Test2/tests/q_bad_with.mod

MODULE QBadWith;
TYPE Point = RECORD x, y : INTEGER END;
VAR p : Point; n : INTEGER;
BEGIN
  n := 1;
  WITH p DO x := 2 END
END QBadWith.