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=-0.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,d89b829a7e0c6c44
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!news.germany.com!newsfeed.freenet.de!news.tiscali.de!not-for-mail
From: Wilhelm Spickermann <klurs.20.unbenutzbar@spamgourmet.com>
Newsgroups: comp.lang.ada
Subject: Re: GNAT-2005
Date: Fri, 10 Nov 2006 16:13:42 +0100
Organization: Tiscali Germany Usenet
Message-ID: <ej24v7$1len$1@ulysses.news.tiscali.de>
References: <1163141479.498169.10580@b28g2000cwb.googlegroups.com>
NNTP-Posting-Host: dsdf-d9bb3bd3.pool.mediaways.net
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
X-Trace: ulysses.news.tiscali.de 1163171623 54743 217.187.59.211 (10 Nov 2006
 15:13:43 GMT)
X-Complaints-To: abuse@tiscali.de
NNTP-Posting-Date: Fri, 10 Nov 2006 15:13:43 +0000 (UTC)
Xref: g2news2.google.com comp.lang.ada:7401
Date: 2006-11-10T16:13:42+01:00
List-Id: <comp.lang.ada>

Hi,

rashmi wrote:

> I want to understand why GNAT has such a strange response, that
> is, why it does not report "function undefined" for the former
> case.

Perhaps you misunderstood the purpose of the ads-file. It only
defines the interface to the outside world and not everything
that is needed in the body. Functions which are not mentioned in
the ads-file but defined in the adb-file are not undefined; they
are defined and can be used in the body. They are just not part
of the services provided to the rest of the world.

Wilhelm