Re: record extension aggregate for returned type legal?

[Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>]

Martin Krischik <krischik@users.sourceforge.net> wrote:
: Georg Bauhaus wrote:

:> 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.

Yes, but one compiler finds no fault with the line in question,
the other says No.

: 
:>          --return (n => 0);
: 
: Should that not be
: 
:      return T'(n => 0);

Same as (n => 0) in return expression?