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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Received: by 2002:a5e:8913:: with SMTP id k19mr31539074ioj.7.1549283326196; Mon, 04 Feb 2019 04:28:46 -0800 (PST) X-Received: by 2002:aca:d607:: with SMTP id n7mr470177oig.1.1549283325752; Mon, 04 Feb 2019 04:28:45 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.166.215.MISMATCH!k10no621481itk.0!news-out.google.com!v71ni823ita.0!nntp.google.com!k10no621478itk.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 4 Feb 2019 04:28:45 -0800 (PST) In-Reply-To: <24o5E.235692$IF1.229991@fx03.am4> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=134.206.121.213; posting-account=O_NgcgoAAABs6pgCjroQBmOBL5ZZGPUc NNTP-Posting-Host: 134.206.121.213 References: <987a6ff2-32d0-45a0-b90a-be9fbf1ff47b@googlegroups.com> <048a6dce-ee26-4850-a1db-980fef58e8a2@googlegroups.com> <2qb5E.172675$592.78651@fx16.am4> <1af84a62-9236-403e-a87b-59f1a82cb3a5@googlegroups.com> <24o5E.235692$IF1.229991@fx03.am4> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Yet another gnat bug From: George Shapovalov Injection-Date: Mon, 04 Feb 2019 12:28:46 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader01.eternal-september.org comp.lang.ada:55438 Date: 2019-02-04T04:28:45-08:00 List-Id: On Saturday, February 2, 2019 at 10:37:04 PM UTC+1, Per Sandberg wrote: > Well I think its more about deeply nested generics, since that is a real= =20 > nightmare to implement in it's full context. Not exactly as far as I can tell.=20 I have played some more with the code and could simplify it even more - the= re is no need for that extra top package level. Same thing happens if the i= nterfaces are declared at the top, and overridden in a child. Flat package = structure (still generic) compiles fine. Removing generics (and instead doi= ng "type Real is new Float" at the top) given unstable behavior - one time = I got the same bug triggered, but after I renamed sources (originally names= "workaround" to "alternative" to reflect better the situation) gnat starte= d to compile it properly (giving error message about declaring vars of abst= ract type). Apparently it has a sense of humor - this is literally the situ= ation of "what is written here is a lie" :). Anyway, I have created a github project to keep the code producing gnat bug= s I have so far encountered (only one at the moment, but thee are two more = I need to clean-up and report). This project shows the code triggering the = bug, as well as workarounds and the status of the bug report. I think such = a resource would be rather useful (given that AdaCore themselves don't real= ly support the bug tracker, at least for the community version [1]). So, pl= ease feel free to consult or even contribute, if there are any more commonl= y encountered bugs.. The project can be found here: https://github.com/gerr135/gnat_bugs [1] I chatted with them briefly 2 days ago on Fosdem and they told me that = they prefer an email report and that tracker is not really functional for a= community version at least. =20