Re: Raise expressions from AARM.

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

On 2024-02-25 13:23, Blady wrote:
> Le 24/02/2024 à 11:39, Niklas Holsti a écrit :
>> The point of these examples (which are only in the discussion 
>> annotation, not in the normative standard) is to discuss what is 
>> syntactically legal and why. The examples need not make practical sense.
> 
> Well, despite I knew that, I wanted to draw some use cases from them.
> For instance:
>    A : A_Tagged   := (Some_Tagged'(raise TBD_Error) with Comp => 'A');
> It will raise TBD_Error if Some_Tagged is not a null record, good to 
> know, isn't it?


Hm, not raising the exception for a null record seems weird to me, and I 
cannot deduce it from the RM. Moreover, for a plain qualified expression

    Some_Tagged'(raise TBD_Error)

not in an extension aggregate GNAT raises the exception even if the type 
is a null record. I suspect that not raising the exception for an 
extension aggregate where the ancestor type is a null record is a bug in 
GNAT.