From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: raised PROGRAM_ERROR : XXXXXX finalize/adjust raised exception
Date: Sat, 6 May 2017 17:46:02 +0200
Date: 2017-05-06T17:46:02+02:00 [thread overview]
Message-ID: <oekqtq$39l$1@dont-email.me> (raw)
In-Reply-To: <65a81072-4cb9-4391-ba15-ad0c7ad58538@googlegroups.com>
On 05/06/2017 04:57 PM, reinert wrote:
>
> Can Ada.Containers.Ordered_Sets include a controlled component?
ARM A.18.7 says, "The type Set needs finalization (see 7.6).", which effectively
means it is controlled. This is true of all the unbounded containers.
It's possible but unlikely that your compiler's implementation of Ordered_Sets
has an error. Operations on sets should leave the set in a valid state for
finalization. So I don't see how having a set component could cause this.
--
Jeff Carter
"[M]any were collected near them, ... to
enjoy the sight of a dead young lady, nay,
two dead young ladies, for it proved twice
as fine as the first report."
Persuasion
155
next prev parent reply other threads:[~2017-05-06 15:46 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-05-06 12:18 raised PROGRAM_ERROR : XXXXXX finalize/adjust raised exception reinert
2017-05-06 12:58 ` Dmitry A. Kazakov
2017-05-06 15:01 ` reinert
2017-05-06 14:08 ` Jeffrey R. Carter
2017-05-06 14:57 ` reinert
2017-05-06 15:46 ` Jeffrey R. Carter [this message]
2017-05-07 19:15 ` reinert
2017-05-07 19:19 ` reinert
2017-05-06 14:59 ` reinert
2017-05-06 15:05 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox