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’”?
