From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
Subject: Re: What is the difference of "with null record" and "with private"?
Date: Fri, 23 May 2014 22:45:36 +0200
Date: 2014-05-23T22:45:36+02:00 [thread overview]
Message-ID: <537fb370$0$6670$9b4e6d93@newsspool3.arcor-online.net> (raw)
In-Reply-To: <29a09fe5-72c0-40e0-bf72-632c4a13232e@googlegroups.com>
On 23/05/14 20:55, mockturtle wrote:
> Well, as I see it, it is more a matter of visibility.
"with private" acts pleasantly strong WRT visibility,
in a technical sense, even "locally". Leaving out nested
packages, still some of the types below must be rejected
by the compiler:
package Privacy is
type T0 is tagged private;
type T is tagged null record;
type T1 is new T0 with private;
type T1n is new T0 with null record;
type Np is new T with private;
type N is new T with null record;
type Np0 is new T0 with private;
type N0 is new T0 with null record;
private
type T0 is tagged null record;
type T1 is new T0 with null record;
type Np is new T with null record;
type Np0 is new T0 with null record;
end Privacy;
All of these have to do with when a type's definition
is finished, and the combination of placement and
privacy control will affect later derivations, too.
next prev parent reply other threads:[~2014-05-23 20:45 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-05-23 18:19 What is the difference of "with null record" and "with private"? Victor Porton
2014-05-23 18:21 ` Victor Porton
2014-05-23 18:55 ` mockturtle
2014-05-23 19:42 ` Adam Beneschan
2014-05-23 22:05 ` Adam Beneschan
2014-05-24 8:19 ` mockturtle
2014-05-23 20:45 ` Georg Bauhaus [this message]
2014-05-23 18:59 ` Dan'l Miller
2014-05-23 21:45 ` Shark8
2014-05-24 10:49 ` Victor Porton
2014-05-24 17:33 ` Shark8
2014-05-23 21:55 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox