From: adambeneschan@gmail.com
Subject: Re: Freezing query
Date: Thu, 30 Jan 2014 15:23:50 -0800 (PST)
Date: 2014-01-30T15:23:50-08:00 [thread overview]
Message-ID: <adddbddf-3d40-4f57-84be-1bdc2927afc6@googlegroups.com> (raw)
In-Reply-To: <lyppn92l95.fsf@pushface.org>
On Thursday, January 30, 2014 1:49:26 PM UTC-8, Simon Wright wrote:
> A question[1] on StackOverflow thinks that given
> type U is tagged private;
> type W is new U with private;
> type X is new W with private;
>
> procedure M1 (P1 : U; P2 : in out U; P3 : Integer);
> procedure M2 (P1 : Float ; P2 : in out U);
> procedure M2 (P1 : Float ; P2 : Boolean ; P3 : in out W);
>
> the three operations are primitive.
>
> GNAT doesn't treat them as primitive unless you re-order so that the
> subprograms come immediately after the type concerned:
Have you seen the latest comment on the SO page? Does it address your question?
-- Adam
next prev parent reply other threads:[~2014-01-30 23:23 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-01-30 21:49 Freezing query Simon Wright
2014-01-30 23:23 ` adambeneschan [this message]
2014-01-31 0:20 ` Simon Wright
2014-01-31 23:02 ` 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