From: Simon Wright <simon@pushface.org>
Subject: Re: Freezing query
Date: Fri, 31 Jan 2014 00:20:28 +0000
Date: 2014-01-31T00:20:28+00:00 [thread overview]
Message-ID: <lylhxx2e9f.fsf@pushface.org> (raw)
In-Reply-To: adddbddf-3d40-4f57-84be-1bdc2927afc6@googlegroups.com
adambeneschan@gmail.com writes:
> 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?
The very latest comment does address the question. And I was wrong (but
still puzzled by the apparent conflict between 13.14(7) and (7.b): is it
the case that
type W is new U with private;
is not a record extension? I guess that's it).
next prev parent reply other threads:[~2014-01-31 0:20 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
2014-01-31 0:20 ` Simon Wright [this message]
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