Re: 'Protected' abstract subprograms

[adambeneschan@gmail.com]

On Thursday, January 16, 2014 2:43:36 AM UTC-8, AdaMagica wrote:
> On Thursday, January 16, 2014 1:51:31 AM UTC+1, Robert A Duff wrote:
> 
> > The only case I know of where the code in a package private part can affect the
> > legality of code outside that package is this:
> 
> >     package Recursive_Types is
> >        type T1 is private;
> 
> >        package Nested is
> >           type T2 is private;
> >        private
> >           type T2 is record
> >              X: T1;

> I think this is illegal since it would freeze T1. Wouldn't it?

No, it wouldn't; nothing has yet occurred that would require that the representation of T2 be completely determined (which would also require T1 to be frozen).

                           -- Adam