Re: Q: how to copy contents and use ancestor's constraints at the same time ?

[Adam Beneschan <adam@irvine.com>]

On Aug 13, 5:48 pm, "Jeffrey R. Carter"
<spam.jrcarter....@acm.nospam.org> wrote:
> Adam Beneschan wrote:
>
> >    work_pf : PF := (initial_pf with others => <>);
>
> That's my suggestion, too. It seems legal to me.

I did check the rules, and it seems legal to me, too.  The thing I
can't find in the RM is an explicit statement that for an extension
aggregate, where the ancestor_part is an expression and the derived
type has discriminants inherited from the type of the ancestor_part,
the resulting extension aggregate has a constrained subtype with the
same discriminant values as the ancestor expression.    (The section
on extension aggregates does discuss the case where discriminants
aren't inherited, but there's no explicit mention of the inherited
discriminant case.)  It's probably obvious enough not to need mention;
and in any case, it probably follows from something else in the RM,
but if I tried to dig any further, I'd end up saying something like

> "My brain hurts!"

and then it would have to come out.  (The brain in my head, that is.)

                        -- Adam