From mboxrd@z Thu Jan  1 00:00:00 1970
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Blady <p.p11@orange.fr>
Newsgroups: comp.lang.ada
Subject: Re: Raise expressions from AARM.
Date: Sun, 25 Feb 2024 12:23:48 +0100
Organization: A noiseless patient Spider
Message-ID: <urf805$1qfpk$2@dont-email.me>
References: <urce58$14j88$1@dont-email.me> <l3tvbfF913vU1@mid.individual.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 25 Feb 2024 11:23:49 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="4b24abc7ed527ba7b68b6767d8d8ed52";
	logging-data="1916724"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18vxl+nLRNb1uAJpUvfFETJ"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:hYleSD1A1MaNazIzG3vj5AGqs2c=
Content-Language: fr, en-US
In-Reply-To: <l3tvbfF913vU1@mid.individual.net>
Xref: news.eternal-september.org comp.lang.ada:66124
List-Id: <comp.lang.ada>

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.