Re: Stupid question

["Adam Beneschan" <adam@irvine.com>]

I wrote:

> On Apr 12, 1:05 pm, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
> wrote:
>
> > generic
> > package A is
> >    A1 : Integer;
> > end A;
>
> > generic
> > package A.B is
> > end A.B;
>
> > with A.B;
> > generic
> >    with package A_B is new A.B (<>);
> > package C is
> >    -- What is the name of A1 from A of A_B?
> > end C;
>
> I am betting that if you try to compile just the code snippet you've
> got, you will figure out your answer.

Sorry about that answer.  I made the rash assumption that you would be
using a compiler that works.  But apparently that's not necessarily
the case.

The version of GNAT I've got installed compiles the above code with no
errors, despite the fact that it's illegal.  I was assuming that you'd
get an error and the error would help you figure out what was wrong;
but I didn't figure on this happening.

The problem is that you cannot refer to A.B the way you did in your
"with package" declaration; you can only refer to A_Inst.B where
A_Inst is an instance of A (A_Inst could be another generic formal
package).

                                  -- Adam