https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123178
--- Comment #2 from Gaius Mulley <gaius at gcc dot gnu.org> ---
Fixed with the following patch
$ gm2 ../../badprocedure.mod
../../badprocedure.mod:6:8: error: In program module ‘badprocedure’: ‘WriteLn’
is not exported from definition module ‘FIO’
6 | FIO.WriteLn (FIO.StdOut)
| ^~~~~~~
../../badprocedure.mod:6:8: error: ‘WriteLn’ is not recognised as a procedure
