comp.lang.ada
 help / color / mirror / Atom feed
From: pascal.malaise@gmail.com
Subject: Re: Warning "others choice is redundant" on tagged object initialization
Date: Wed, 1 Jun 2016 22:14:50 -0700 (PDT)
Date: 2016-06-01T22:14:50-07:00	[thread overview]
Message-ID: <b0703599-ef43-458b-b089-7877851ff7c3@googlegroups.com> (raw)
In-Reply-To: <nin9e9$9jc$1@dont-email.me>

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.


      reply	other threads:[~2016-06-02  5:14 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-06-01 18:13 Warning "others choice is redundant" on tagged object initialization pascal.malaise
2016-06-01 18:27 ` Jeffrey R. Carter
2016-06-02  5:14   ` pascal.malaise [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox