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

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

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