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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f2f0fba4aa9a6bca,start
X-Google-Attributes: gid103376,public
From: westonpa@aludra.usc.edu (westonpa)
Subject: Having a problem with private extension and discriminants...
Date: 1999/07/21
Message-ID: <7n662e$gu7$1@aludra.usc.edu>#1/1
X-Deja-AN: 503847600
Organization: University of Southern California, Los Angeles, CA
Newsgroups: comp.lang.ada
Date: 1999-07-21T00:00:00+00:00
List-Id: <comp.lang.ada>

Hi,

I am trying to indirectly derive from a tagged type that has known 
discriminants, but GNAT gives the error 
"full view must inherit discriminants of the parent type used in the 
private extension". This looks like ARM 7.3(10). Does anyone have an idea 
how I can achieve the following? 


package P1 is 
   type A(Foo : Natural) is abstract tagged null record;

private
  
   type B is abstract new A with
      record
	-- private fields here
      end record;

end P1;



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

private
   type C is new B with
      record 
        -- more fields in addition to B's
      end record;

end P1.C1;


package P1.C2 is

   -- similar to what is in P1.C1

end P1.C2;