Re: Generic private type declaration

[Robert Eachus <rieachus@comcast.net>]

On Friday, November 25, 2016 at 12:36:26 PM UTC-5, Alejandro R. Mosteo wrote:
> Hello,
> 
> I need some eyes on this error because I'm missing something basic. When 
> compiling this code:

Try this: 

 procedure B001_Tagged is
   generic
      type X is private;
   package Untagged is
      type Y is private;
   private 
      type Y is new X;
   end Untagged;
 
   package Ok is new Untagged (Integer);
   type Void is tagged null record;
   package Err is new Untagged (Void); --  Error here
 
 begin
     null;
 end;

GNAT 6.1.1 seems to like it, and I don't see any reason it shouldn't.  Of course, type Y is tagged inside the generic and untagged outside.  If you assign a value of type Y or a child to a globally visible object of type X, it should work--but I certainly won't guarantee it unless tested.