comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Extended Exceptions and other tweaks.
Date: Mon, 6 May 2013 19:39:32 -0500
Date: 2013-05-06T19:39:32-05:00	[thread overview]
Message-ID: <km9ig7$ean$1@munin.nbi.dk> (raw)
In-Reply-To: km5k24$3v9$1@dont-email.me

"Brian Drummond" <brian@shapes.demon.co.uk> wrote in message 
news:km5k24$3v9$1@dont-email.me...
...
> The compiler apparently agrees with my understanding of
> "pragma Restrictions (No_Exception_Propagation)" which is:

This is not an Ada-language defined pragma, so...

> Now is there a reasonable explanation that I have missed, or is this
> worth reporting as a compiler bug?

...it can do anything the implementer desires. Meaning that formally at 
least, there is no grounds for a bug no matter what does. Whether it is 
doing what was intended is another question altogether.

                                                Randy.


  reply	other threads:[~2013-05-07  0:39 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-03-30 20:01 Extended Exceptions and other tweaks Diogenes
2013-03-30 22:10 ` Brian Drummond
2013-03-31  1:18   ` Diogenes
2013-04-01 20:36     ` Brian Drummond
2013-04-06 15:49       ` Lucretia
2013-04-07 20:20         ` rrr.eee.27
2013-04-08 10:21           ` Brian Drummond
2013-05-01 23:37             ` Brian Drummond
2013-05-02  1:06               ` Randy Brukardt
2013-05-05 12:41                 ` Brian Drummond
2013-05-07  0:39                   ` Randy Brukardt [this message]
2013-05-04  7:52     ` Yannick Duchêne (Hibou57)
2013-03-31 13:55   ` Luke A. Guest
2013-03-30 22:38 ` Shark8
2013-03-31 11:41 ` Stephen Leake
replies disabled

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