Re: Raise expressions from AARM.

[Blady <p.p11@orange.fr>]

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?

Pascal.