comp.lang.ada
 help / color / mirror / Atom feed
From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Formal Subprogram Access
Date: Sat, 10 Feb 2018 06:55:51 -0800 (PST)
Date: 2018-02-10T06:55:51-08:00	[thread overview]
Message-ID: <91d27352-74f8-4c4c-b225-150cffe6c4fa@googlegroups.com> (raw)
In-Reply-To: <p5lne2$fe9$1@franka.jacob-sparre.dk>

Am Samstag, 10. Februar 2018 04:03:32 UTC+1 schrieb Randy Brukardt:
> My 60 second opinion is that all three should be legal. But if that's wrong 
> for some subtle reason that I've forgotten, then surely the renames is 
> illegal too. (3.10.2(32/5) uses the term "denoted" to ensure that renames 
> are ignored for the purposes of enforcing the rule.) I'd definitely report a 
> bug to the vendor.

May be that the convention is Intrinsic, so no 'Access allowed. I however found no indication in the RM that generic parameter subprograms are Intrinsic.

  parent reply	other threads:[~2018-02-10 14:55 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-02-09 22:11 Formal Subprogram Access Jeffrey R. Carter
2018-02-10  3:03 ` Randy Brukardt
2018-02-10  9:57   ` Jeffrey R. Carter
2018-02-13  5:51     ` Randy Brukardt
2018-02-13  9:24       ` AdaMagica
2018-02-13  9:41         ` Dmitry A. Kazakov
2018-02-13 10:28           ` AdaMagica
2018-02-14  0:47             ` Randy Brukardt
2018-02-14  8:19               ` Dmitry A. Kazakov
2018-02-14 10:01                 ` Jacob Sparre Andersen
2018-02-14 11:07                   ` Dmitry A. Kazakov
2018-02-13 12:24       ` Simon Wright
2018-02-14  0:53         ` Randy Brukardt
2018-02-14 14:36           ` Simon Wright
2018-02-15  4:56             ` Randy Brukardt
2018-02-15 13:12               ` Simon Clubley
2018-02-15 16:38                 ` Simon Wright
2018-02-15 18:40                   ` Simon Clubley
2018-02-15 16:19               ` Simon Wright
2018-02-15 23:03               ` Randy Brukardt
2018-02-13 17:34       ` Jeffrey R. Carter
2018-02-13 18:31         ` AdaMagica
2018-02-14  0:57           ` Randy Brukardt
2018-02-10 14:55   ` AdaMagica [this message]
2018-02-21 17:51 ` Jeffrey R. Carter
replies disabled

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