From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Visibility of Indexing aspects
Date: Tue, 17 Jul 2018 03:11:11 -0700 (PDT)
Date: 2018-07-17T03:11:11-07:00 [thread overview]
Message-ID: <42de4aa3-9e7c-44b8-aa84-712cc7ce03c6@googlegroups.com> (raw)
In-Reply-To: <41c711cb-0300-4a41-93d3-e69297ae1945@googlegroups.com>
Am Dienstag, 17. Juli 2018 11:46:23 UTC+2 schrieb AdaMagica:
> > I looked at that, but saw that 8.2(7), which applies in this case,
> > specifically leaves out the aspect specification of what is considered
> > in/out of the visible part. It says all things within the type_declaration,
> > which is not defined to contain the aspect_specification (though the
> > full_type_declaration does).
>
> Please see 7.3(2/3) - it does!
Ah, it seems I misinterpreted your words. The RM syntax for private type declarations contains the aspect specification. The specific example here does not, and this is what you tried to say.
So the scope of the private view is larger than the scope of the full declaration, and the latter only contains the aspect spec. So the scope of the aspect spec is hidden in the private part and thus not visible.
next prev parent reply other threads:[~2018-07-17 10:11 UTC|newest]
Thread overview: 42+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-07-14 14:18 Visibility of Indexing aspects Jere
2018-07-14 17:04 ` Shark8
2018-07-14 18:29 ` Jere
2018-07-14 18:41 ` Dmitry A. Kazakov
2018-07-14 23:00 ` Shark8
2018-07-14 23:28 ` Jere
2018-07-15 14:41 ` AdaMagica
2018-07-15 15:33 ` Jere
2018-07-16 3:22 ` AdaMagica
2018-07-17 0:35 ` Jere
2018-07-17 9:46 ` AdaMagica
2018-07-17 10:11 ` AdaMagica [this message]
2018-07-20 12:08 ` Jere
2018-07-20 16:11 ` AdaMagica
2018-07-20 22:03 ` Dan'l Miller
2018-07-20 22:07 ` Jere
2018-07-21 10:33 ` AdaMagica
2018-07-24 3:32 ` Randy Brukardt
2018-07-24 17:15 ` Dan'l Miller
2018-07-25 5:37 ` Randy Brukardt
2018-07-25 18:26 ` Dan'l Miller
2018-07-25 19:58 ` AdaMagica
2018-07-25 20:57 ` Dan'l Miller
2018-07-26 0:12 ` Randy Brukardt
2018-07-26 2:41 ` Dan'l Miller
2018-07-26 19:09 ` Randy Brukardt
2018-07-26 20:31 ` Shark8
2018-07-26 21:25 ` Dan'l Miller
2018-07-27 22:05 ` Randy Brukardt
2018-07-28 0:35 ` Dan'l Miller
2018-07-27 21:58 ` Randy Brukardt
2018-07-20 22:23 ` Jere
2018-07-20 22:25 ` Jere
2018-07-21 5:58 ` J-P. Rosen
-- strict thread matches above, loose matches on Subject: below --
2018-08-02 20:31 Randy Brukardt
2018-08-03 0:43 ` Dan'l Miller
2018-08-03 20:56 ` Randy Brukardt
2018-08-03 21:32 ` Dan'l Miller
2018-08-06 21:46 ` Randy Brukardt
2018-08-06 22:12 ` Dmitry A. Kazakov
2018-08-07 15:13 ` Dan'l Miller
2018-08-07 22:41 ` 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