Warning "others choice is redundant" on tagged object initialization

Warning "others choice is redundant" on tagged object initialization

[pascal.malaise]

Gnat GPL 2016 is out... and raises a new warning for me.

Here is the code:
  type Timer_Id is new Smart_Timer_Mng.Handle with null record;
  No_Timer : constant Timer_Id
           := (Smart_Timer_Mng.Null_Handle with others => <>);

And the warning:
timers.ads:140:56: warning: others choice is redundant
timers.ads:140:56: warning: previous choices cover all components

I thought that this was the only way to initialize a sub-object "with null".
Am I missing something?

Thank you  

Re: Warning "others choice is redundant" on tagged object initialization

[Jeffrey R. Carter]

On 06/01/2016 11:13 AM, pascal.malaise@gmail.com wrote:
> 
>   type Timer_Id is new Smart_Timer_Mng.Handle with null record;
>   No_Timer : constant Timer_Id
>            := (Smart_Timer_Mng.Null_Handle with others => <>);
> 
> timers.ads:140:56: warning: others choice is redundant
> timers.ads:140:56: warning: previous choices cover all components
> 
> I thought that this was the only way to initialize a sub-object "with null".
> Am I missing something?

ARM 4.3.2(9) says

"If all components of the value of the extension_aggregate are determined by the
ancestor_part, then the record_component_association_list is required to be
simply null record."

So perhaps you should replace "others => <>" with "null record".

-- 
Jeff Carter
"In the frozen land of Nador they were forced to
eat Robin's minstrels, and there was much rejoicing."
Monty Python & the Holy Grail
70

Re: Warning "others choice is redundant" on tagged object initialization

[pascal.malaise]

Le mercredi 1 juin 2016 20:27:24 UTC+2, Jeffrey R. Carter a écrit :
> ARM 4.3.2(9) says
> 
> "If all components of the value of the extension_aggregate are determined by the
> ancestor_part, then the record_component_association_list is required to be
> simply null record."
> 
> So perhaps you should replace "others => <>" with "null record".

Indeed.
Thank you.