From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.albasani.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Question about sets and expression
Date: Tue, 9 May 2017 09:23:39 +0300
Organization: Tidorum Ltd
Message-ID: <end5jbF9ouuU1@mid.individual.net>
References: <83325a39-b5b1-4742-a28b-4a8631379d43@googlegroups.com>
 <ly37cfjhrb.fsf@pushface.org>
 <2c53a9f3-6cd7-49b3-b69f-300d682bc2a1@googlegroups.com>
 <f6b949c7-7cd8-4d17-914f-0569152e0a20@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net pXg66dxt543MMzaUKe+2Zwekbzi8N4GUHf190r0eMcILMQSgqs
Cancel-Lock: sha1:dSnEJyL1UBa2sJMXQCnbTpRbqtA=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8; rv:45.0)
 Gecko/20100101 Thunderbird/45.8.0
In-Reply-To: <f6b949c7-7cd8-4d17-914f-0569152e0a20@googlegroups.com>
Xref: news.eternal-september.org comp.lang.ada:46722
Date: 2017-05-09T09:23:39+03:00
List-Id: <comp.lang.ada>

On 17-05-09 08:48 , reinert wrote:
> Could anybody try this simple program below?
>
> I get the output (debian, gnat-4.9):
>
> --------------------------------------------------------------------------
> ** A:
> ** B:
>
> raised PROGRAM_ERROR : test1b.adb:29 finalize/adjust raised exception
> --------------------------------------------------------------------------
>  Why "finalize/adjust raised exception" ?
>

[snip program code]

On a Mac OS-X (10.8.5), GNAT GPL 2012 (20120509), options "-g 
-gnat2012", I get:

./test1b
  ** A:
  ** B:
  ** C

with no exceptions.

I haven't studied the program enough to opine on whether this is the 
correct expected result.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .