• Re: error: choice must be static?

    From Blady@p.p11@orange.fr to comp.lang.ada on Sat Feb 17 09:51:39 2024
    From Newsgroup: comp.lang.ada

    Le 14/02/2024 à 05:28, Randy Brukardt a écrit :
    Ah, yes, didn't notice that part. One cannot give the Aggregate aspect on an array type, directly or indirectly. That's because container aggregates are designed to work like array aggregates, and we didn't want visibility to determine the interpretation of an aggregate (especially where the same syntax could have a different meaning in different visibility).. Thus, there can be no point where a single type can have both array aggregates and container aggregates.

    Note that record aggregates and container aggregates are always syntactally different, and thus it is OK to have both in a single location (that's one
    of the reasons that we adopted square brackets for container aggregates). That seemed important as the majority of private types are completed by record types, and not allowing record types in this context would be difficult to work around.

    Thanks Randy for the explanation, it helps.

    Pascal.

    --- Synchronet 3.20a-Linux NewsLink 1.114