Re: Why can't I override these functions?

[Simon Wright <simon@pushface.org>]

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.