[Bug modula2/117371] [14.2 Regression] type incompatibility between ‘INTEGER’ and ‘CARDINAL’

[ludovic--- via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117371

--- Comment #1 from Ludovic Brenta <ludo...@ludovic-brenta.org> ---
And it just occurred to me that, when m and k are declared
INTEGER, perhaps the call to WriteCard (k, 1) should also be
flagged as an error?