update on the address/procedure cardinal incompatability checking

[Gaius Mulley]

Hi,

Re example code below:

$ cat gcc/testsuite/gm2/pim/fail/proccard.mod
MODULE proccard ;

FROM NumberIO IMPORT WriteCard ;
FROM StrIO IMPORT WriteString, WriteLn ;

PROCEDURE func () : CARDINAL ;
BEGIN
   RETURN 42
END func ;


BEGIN
   WriteString ('the value is: ') ; WriteCard (func, 5) ; WriteLn
END proccard.

v1 of the fix is on bugzilla as a patch (not yet git committed or pushed
as the implementation conflicts with pim rules of address and cardinal
compatibility):

$ gm2 proccard.mod 
proccard.mod:13:48: error: 1st parameter type failure between actual parameter 
type ‘ADDRESS’ and the formal type ‘CARDINAL’
   13 |    WriteString ('the value is: ') ; WriteCard (func, 5) ; WriteLn
      |                                                ^~~~
proccard.mod:13:48: error: ‘ADDRESS’ and ‘CARDINAL’ are incompatible in this 
context

but at least the error messages are tidier

regards,
Gaius