[Bug ada/64866] Lost visibility of package Interfaces after task or PO declaration

[simon at pushface dot org]

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

--- Comment #4 from simon at pushface dot org ---
(In reply to Arnaud Charlet from comment #2)
> Visibility in the Ada runtime do not follow standard Ada rules. In other
> words,
> the Ada runtime isn't implemented in Ada, but in a different dialect very
> close
> to Ada, with additional restrictions.
> 
> In particular there should be no 'use' clause in the spec of any runtime
> packages
> (this part is fine in your patch), but there should be also no visibility on
> non system or interfaces packages, which is violated by your custom
> implementation. I would suggest you move your implementation under System.*
> to
> solve this issue.

I’ve revised my demonstrator, see attachment “Revised demonstrator”.

The problem is still there.

The cure proposed in comment #1 is required to solve the issue in this case
also.

I will of course adopt your suggestion, thanks very much. Is there any
documentation of this restricted dialect of Ada? Does it include “don’t use
‘private with’”?