comp.lang.ada
 help / color / mirror / Atom feed
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: pragma on overloaded subprograms
Date: 1999/08/14
Date: 1999-08-14T00:00:00+00:00	[thread overview]
Message-ID: <7p2nbv$uv7$1@nnrp1.deja.com> (raw)
In-Reply-To: 7ounsm$7l3$1@nnrp1.deja.com

In article <7ounsm$7l3$1@nnrp1.deja.com>,
  bourguet@my-deja.com wrote:
> As I understand the RM, both pragmas are supposed to apply to
> both functions

You are missing one of the most fundamental points of
Ada semantics -- linear elaboration (*) -- a pragma cannot
apply to a declaration that has not been seen yet!!!!

(*) Yes, I know, compiler writers tackling the mysteries of
private types, overriding etc etc are laughing in the aisles :-)

Robert Dewar


Sent via Deja.com http://www.deja.com/
Share what you know. Learn what you don't.




      reply	other threads:[~1999-08-14  0:00 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-08-12  0:00 pragma on overloaded subprograms bourguet
1999-08-14  0:00 ` Robert Dewar [this message]
replies disabled

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