From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,775645c75674947
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: pragma on overloaded subprograms
Date: 1999/08/14
Message-ID: <7p2nbv$uv7$1@nnrp1.deja.com>#1/1
X-Deja-AN: 512489028
References: <7ounsm$7l3$1@nnrp1.deja.com>
X-Http-Proxy: 1.0 x38.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Share what you know. Learn what you don't.
X-Article-Creation-Date: Sat Aug 14 03:21:43 1999 GMT
X-MyDeja-Info: XMYDJUIDrobert_dewar
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I)
Date: 1999-08-14T00:00:00+00:00
List-Id: <comp.lang.ada>

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.