Has anyone noticed that the PO 2013 allows the programmer
to “overrride” predefined procedures and functions, e.g.,
MODULE M;
VAR
INC: CHAR;
i: INTEGER;
BEGIN
INC := "a”;
INC(i) (*not a procedure*)
END M.
This should not be allowed..