From: Victor Porton <porton@narod.ru>
Subject: Re: Alleged GNAT bug
Date: Thu, 26 Oct 2017 21:41:41 +0300
Date: 2017-10-26T21:41:41+03:00 [thread overview]
Message-ID: <osta93$9de$1@gioia.aioe.org> (raw)
In-Reply-To: 3278cf35-f19b-441e-8534-200a918b9836@googlegroups.com
AdaMagica wrote:
> Am Mittwoch, 25. Oktober 2017 19:28:05 UTC+2 schrieb Victor Porton:
>> AdaMagica wrote:
>>
>> > Am Mittwoch, 25. Oktober 2017 02:53:26 UTC+2 schrieb A. Cervetti:
>> >> So I conclude:
>> >> The error happens at the freezing point, but with gnat-2017 only in
>> >> the modular version. The code could be legal because it works in the
>> >> monolithic version, but
>> >
>> > I guess you are right. Exporting the last instantiation Finalizer to a
>> > child makes the program legal.
>>
>> By "you are right" you mean "The code could be legal", don't you?
>>
>> Or what do you mean?
>
> Of course I mean that the problem is the freezing point - your program is
> illegal. With the proposed change Term.Child, it is legal.
But the monolithic version DOES compile. Is THIS (that it does compile) an
error in GNAT?
--
Victor Porton - http://portonvictor.org
next prev parent reply other threads:[~2017-10-26 18:41 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-10-20 18:10 Alleged GNAT bug Victor Porton
2017-10-24 10:13 ` A. Cervetti
2017-10-24 23:08 ` Randy Brukardt
2017-10-25 0:53 ` A. Cervetti
2017-10-25 17:03 ` AdaMagica
2017-10-25 17:27 ` Victor Porton
2017-10-26 7:09 ` AdaMagica
2017-10-26 18:41 ` Victor Porton [this message]
2017-11-14 23:35 ` Randy Brukardt
2017-11-16 15:55 ` Robert Eachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox