comp.lang.ada
 help / color / mirror / Atom feed
From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: 'Protected' abstract subprograms
Date: Thu, 16 Jan 2014 02:43:36 -0800 (PST)
Date: 2014-01-16T02:43:36-08:00	[thread overview]
Message-ID: <b4e4b27c-81fd-43bd-bd80-1e82cd090587@googlegroups.com> (raw)
In-Reply-To: <wcctxd4hhpo.fsf@shell01.TheWorld.com>

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?

>           end record;
>        end Nested;
>
>     private
> 
>        type T1 is record


  reply	other threads:[~2014-01-16 10:43 UTC|newest]

Thread overview: 30+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-01-10 22:00 'Protected' abstract subprograms sbelmont700
2014-01-10 22:30 ` Randy Brukardt
2014-01-11 16:12   ` sbelmont700
2014-01-14  3:45     ` Randy Brukardt
2014-01-14  9:05       ` Dmitry A. Kazakov
2014-01-15  0:36         ` Randy Brukardt
2014-01-15  9:17           ` Dmitry A. Kazakov
2014-01-15 14:11             ` Robert A Duff
2014-01-15 15:40               ` adambeneschan
2014-01-15 21:21                 ` Robert A Duff
2014-01-15 23:10                   ` Randy Brukardt
2014-01-16  0:51                     ` Robert A Duff
2014-01-16 10:43                       ` AdaMagica [this message]
2014-01-16 16:32                         ` adambeneschan
2014-01-17  1:49                         ` Robert A Duff
2014-01-17 23:23                           ` Randy Brukardt
2014-01-19 21:07                             ` Robert A Duff
2014-01-20  8:40                               ` Dmitry A. Kazakov
2014-01-21 14:37                                 ` Robert A Duff
2014-01-22  8:27                                   ` Dmitry A. Kazakov
2014-01-21  1:21                               ` Randy Brukardt
2014-01-21 14:35                                 ` Robert A Duff
2014-01-15 23:17               ` Randy Brukardt
2014-01-16  8:52               ` Dmitry A. Kazakov
2014-01-11  8:41 ` J-P. Rosen
2014-01-11  8:59 ` Dmitry A. Kazakov
2014-01-11 13:42   ` Niklas Holsti
2014-01-11 19:35     ` Dmitry A. Kazakov
2014-01-12  9:19       ` Niklas Holsti
2014-01-12 10:22         ` Dmitry A. Kazakov

replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox