Re: Ada 2005 box (<>) rules in default values

["Randy Brukardt" <randy@rrsoftware.com>]

"Alex R. Mosteo" <devnull@mailinator.com> wrote in message
news:43CCAB76.6050907@mailinator.com...
...
>  From these paragraphs I understand that Gnat is not implementing
> correctly that feature for the moment. So I ask if you knowledgeable lot
> agree with my impression. (A pointer to the amendment dealing with this
> will also be welcome).

I agree; the default value should be used here. The reference you want is:

http://www.adaic.com/standards/05rm/html/RM-4-3-1.html

for record aggregates, and

http://www.adaic.com/standards/05rm/html/RM-4-3-3.html

for array aggregates. (Keep in mind that this "consolidated" RM is an
unofficial construction, and if it has any differences with the Amendment
document, the Amendment has the correct language. But the Amendment is
pretty hard to make sense of, as it is just a list of changed paragraphs.
Thank Ada Europe for sponsoring the development of the "consolidated" RM.)

                        Randy Brukardt