Code: Select all
MODULE Test;
IMPORT SYSTEM;
VAR
s: POINTER TO ARRAY [untagged] OF SHORTCHAR;
PROCEDURE Call (IN s: ARRAY OF SHORTCHAR);
END Call;
BEGIN
Call(s)
END Test.
BlackBox compiler found the error in the correct place, although the marker is at the beginning of the line, not where the parameter is. But that's not the problem.
The fact is that this check performs at the back-end level (in procedures Index & VarParDynArr of the module DevCPC486), although it would be best to do this check at the level of the front-end too. If that check was done in front-end, the error would not appear in CPfront.
I propose such a correction.