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,
	WEIRD_PORT autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a02:1a8a:: with SMTP id 132mr1111254jai.14.1549134320362;
        Sat, 02 Feb 2019 11:05:20 -0800 (PST)
X-Received: by 2002:aca:5395:: with SMTP id h143mr365940oib.6.1549134320088;
 Sat, 02 Feb 2019 11:05:20 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!fdn.fr!proxad.net!feeder1-2.proxad.net!209.85.166.215.MISMATCH!k10no431580itk.0!news-out.google.com!v71ni598ita.0!nntp.google.com!q69no432584itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 2 Feb 2019 11:05:19 -0800 (PST)
In-Reply-To: <2qb5E.172675$592.78651@fx16.am4>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=85.168.19.89;
 posting-account=O_NgcgoAAABs6pgCjroQBmOBL5ZZGPUc
NNTP-Posting-Host: 85.168.19.89
References: <987a6ff2-32d0-45a0-b90a-be9fbf1ff47b@googlegroups.com>
 <uM25E.171780$592.61943@fx16.am4>
 <048a6dce-ee26-4850-a1db-980fef58e8a2@googlegroups.com>
 <a50c8750-a8c1-4de6-be1e-44d3b12809d8@googlegroups.com>
 <2qb5E.172675$592.78651@fx16.am4>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1af84a62-9236-403e-a87b-59f1a82cb3a5@googlegroups.com>
Subject: Re: Yet another gnat bug
From: George Shapovalov <gshapovalov@gmail.com>
Injection-Date: Sat, 02 Feb 2019 19:05:20 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader01.eternal-september.org comp.lang.ada:55433
Date: 2019-02-02T11:05:19-08:00
List-Id: <comp.lang.ada>

On Saturday, February 2, 2019 at 8:13:04 AM UTC+1, Per Sandberg wrote:
> I did put some effort to reduce the problem and the workaround is quite=
=20
> simple, in file "wann-nets.ads:69" mark the procedure Del_Neuron as=20
> abstract instead of null.
>=20
> Here is the small reproducible i ended up with after stripping the code:
Wow, thank you for your time!
Looking at how that final code is so small and basic, and thtat snippet of =
gnat internals that was dug out on another comment above, it looks like gna=
t does not implement null primitives in full.. (which is a pity, as null me=
thod makes more sense there than abstract, but well..)

Once I am completely back from Fosdem I'll play with this a bit more, to se=
e if that's package hierarchy, generics or combination thereof that is trig=
gering it and submit a bug with final details..
Thanks again!