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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,2107bed9c7be998f
X-Google-Attributes: gid103376,public
Path: 
 controlnews3.google.com!news1.google.com!news.glorb.com!newsrout1.ntli.net!news-in.ntli.net!kibo.news.demon.net!news.demon.co.uk!demon!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Why can't I override these functions?
Date: 10 May 2004 06:43:42 +0100
Organization: Pushface
Sender: simon@smaug.pushface.org
Message-ID: <x7vr7ts4z1t.fsf@smaug.pushface.org>
References: <HLJmc.58389$mU6.237165@newsb.telia.net>
 <c7gl9v$k37$1@a1-hrz.uni-duisburg.de>
 <7BRmc.58437$mU6.237336@newsb.telia.net> <x7vfzabw3sy.fsf@smaug.pushface.org>
 <cDpnc.58610$mU6.237546@newsb.telia.net>
NNTP-Posting-Host: pogner.demon.co.uk
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: news.demon.co.uk 1084168092 27626 62.49.19.209 (10 May 2004 05:48:12
 GMT)
X-Complaints-To: abuse@demon.net
NNTP-Posting-Date: Mon, 10 May 2004 05:48:12 +0000 (UTC)
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1
Xref: controlnews3.google.com comp.lang.ada:406
Date: 2004-05-10T06:43:42+01:00
List-Id: <comp.lang.ada>

Bj�rn Persson <spam-away@nowhere.nil> writes:

> Simon Wright wrote:
> 
> > The compiler should probably have said something to point you at:
> >    AARM 3.9.3(10), For an abstract type declared in a visible part,
> > an
> >    abstract primitive subprogram shall not be declared in the private
> >    part, unless it is overriding an abstract subprogram implicitly
> >    declared in the visible part. For a tagged type declared in a
> >    visible part, a primitive function with a controlling result shall
> >    not be declared in the private part, unless it is overriding a
> >    function implicitly declared in the visible part.
> 
> I can't see how that would apply to this case. The only abstract type
> declared in a visible part is Intermediate_Definition, and the
> copmiler doesn't complain about that one. It complains about
> Typed_Parameter_Definition, which is concrete and declared in a
> private part.

Hmm, yes, sorry. Sounds a bit like a compiler problem, then. Either
it's seeing a problem when it shouldn't or it's giving you the wrong
diagnosis.

FYI GNAT 3.16a1 & 5.02a behave the same.

-- 
Simon Wright                               100% Ada, no bugs.