Re: record extension aggregate for returned type legal?

[Martin Krischik <krischik@users.sourceforge.net>]

Georg Bauhaus wrote:

> Using two different compilers, I get contradicting messages
> for the following package, viz no message at all, and an
> error message pointing to LRM 4.3.2(4). Which one is right?
> 
> 
> package Ext is
> 
>    type T is tagged private;
> 
>    package B is
>       function make return T;
>    end B;
> 
> private
>    type T is tagged record
>       n: Natural;
>    end record;
> end Ext;
> 
> 
> 
> package body Ext is
> 
>    package body B is
>       function make return T is
>       begin
>          return (T with n => 0);  -- here

This syntax is for child classes which first initialise there parent class
and then there own data. Like in:

return Child'(Parent with n=> 0);

>          --return (n => 0);

Should that not be

      return T'(n => 0);

?

>       end make;
> 
>    end B;
> 
> end Ext;
> 

With Regards

Martin
-- 
mailto://krischik@users.sourceforge.net
http://www.ada.krischik.com