Re: which compiler is right?

["Randy Brukardt" <randy@rrsoftware.com>]

"Adam Beneschan" <adam@irvine.com> wrote in message
news:b4682ab7.0403181233.68d63fb5@posting.google.com...
> "Randy Brukardt" <randy@rrsoftware.com> wrote in message
news:<105iblbigdett75@corp.supernews.com>...
> > That's so that a type declared
> > in a body can have overriding routines, even though it can't have
> > primitives. Scopes have absolutely nothing to do with overriding (look
at
> > 8.3 again if you don't believe me).
>
> Sorry, I looked at it and I still don't believe you.  8.3(9) says that
> a declaration can override another homograph if the declaration
> "occurs immediately within the same declarative region", etc.  The
> term "immediately within a declarative region" is defined by 8.1(13)
> and most definitely has to do with scopes.  If you declare a routine
> in a nested inner package, it cannot override a routine declared
> (implicitly or explicitly) in an outer package, because the routine in
> the inner package is not *immediately* declared in the same
> declarative region as the routine declared in the outer package.

I'm going to reply to this on Ada-Comment, so that it gets on the permanent
record, and gets filed in the AI.

                 Randy.