From mboxrd@z Thu Jan 1 00:00:00 1970
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Blady
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:
References:
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:
Xref: news.eternal-september.org comp.lang.ada:66124
List-Id:
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.