help / color / mirror / Atom feed
From: Blady <>
Subject: Re: Raise expressions from AARM.
Date: Sun, 25 Feb 2024 12:23:48 +0100	[thread overview]
Message-ID: <urf805$1qfpk$> (raw)
In-Reply-To: <>

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?


  reply	other threads:[~2024-02-25 11:23 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-02-24  9:50 Raise expressions from AARM Blady
2024-02-24 10:39 ` Jeffrey R.Carter
2024-02-25 11:09   ` Blady
2024-02-24 10:39 ` Niklas Holsti
2024-02-25 11:23   ` Blady [this message]
2024-02-26 20:01     ` Niklas Holsti
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox