Re: Having a problem with private extension and discriminants...

["Weston T. Pan" <westonpa@usc.edu>]

Florian Weimer wrote:

> Perhaps this is a solution:
> 
> package P1.C1 is
> 
>    type C (Foo : Natural) is new A with private;
> 
> private
>    type C (Foo : Natural) is new B (Foo) with
>       record
>         -- more fields in addition to B's
>       end record;
> 
> end P1.C1;

Hi, 

I thought about doing that, but I wanted to see if it was possible to
not give
any indication that something else was being done in the  private
section. 
For example, in the case where there is no discriminants, a person can
do
the following:

package P1 is
    type A is abstract tagged with null record;

private 
    type B is abstract new A with 
       record
         -- blah blah
       end record;
end P1;


package P1.C1 is
     type C is new A with private;

private
     type C is new B with
        record
          -- blah
        end record;
end P1.C1;


In the above there is no indication in the public part that there is
something else
happening in the private section. Oh well, I guess I will just add the
discriminant
to C. I prefer doing that than making the type B into a record and
having C contain 
a field of type B. 

Thank you for your suggestion.

--Weston