Re: Interfaces and private types

[Georg Bauhaus <rm.tsoh+bauhaus@maps.futureapps.de>]

Philippe Tarroux schrieb:
> Hi again,
> 
> There is no compilation problem with the following code :
> 
> package Test_Interfaces is
>  
>   type Int is synchronized interface;
>   procedure Init (I : in out Int) is abstract;
>  
>   type T is new Int with private;
>  
> private
>  
>   task type T is
>      entry Init;
>   end T;
> end Test_Interfaces;
> 
> 

What do you get for

   task type T is new Int with  -- which it is, a new Int
      overriding entry Init;  -- which it is, overriding I suppose
   end T;