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,FREEMAIL_FROM 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!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: Victor Porton Newsgroups: comp.lang.ada Subject: Re: Alleged GNAT bug Date: Thu, 26 Oct 2017 21:41:41 +0300 Organization: Aioe.org NNTP Server Message-ID: References: <2be64a8b-5f89-414c-9dcd-433bd5d855a0@googlegroups.com> <97915524-04a8-4954-8ed8-058ad63f529e@googlegroups.com> <3278cf35-f19b-441e-8534-200a918b9836@googlegroups.com> NNTP-Posting-Host: 8U0x309/ia0QUzusgm/krA.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset="ISO-8859-1" Content-Transfer-Encoding: 7Bit X-Complaints-To: abuse@aioe.org User-Agent: KNode/4.14.10 X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:48598 Date: 2017-10-26T21:41:41+03:00 List-Id: 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