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,WEIRD_PORT
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!news.redatomik.org!newsfeed.xs4all.nl!newsfeed8.news.xs4all.nl!85.12.16.69.MISMATCH!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer02.am4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx03.am4.POSTED!not-for-mail
Subject: Re: Yet another gnat bug
Newsgroups: comp.lang.ada
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>
 <1af84a62-9236-403e-a87b-59f1a82cb3a5@googlegroups.com>
From: Per Sandberg <per.s.sandberg@bahnhof.se>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101
 Thunderbird/60.4.0
MIME-Version: 1.0
In-Reply-To: <1af84a62-9236-403e-a87b-59f1a82cb3a5@googlegroups.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Message-ID: <24o5E.235692$IF1.229991@fx03.am4>
X-Complaints-To: abuse@usenet.se
NNTP-Posting-Date: Sat, 02 Feb 2019 21:37:02 UTC
Organization: usenet.se
Date: Sat, 2 Feb 2019 22:37:01 +0100
X-Received-Bytes: 2148
X-Received-Body-CRC: 953317810
Xref: reader01.eternal-september.org comp.lang.ada:55436
Date: 2019-02-02T22:37:01+01:00
List-Id: <comp.lang.ada>

Well I think its more about deeply nested generics, since that is a real 
nightmare to implement in it's full context.

/P

On 2/2/19 8:05 PM, George Shapovalov wrote:
> 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
>> simple, in file "wann-nets.ads:69" mark the procedure Del_Neuron as
>> abstract instead of null.
>>
>> 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 gnat does not implement null primitives in full.. (which is a pity, as null method makes more sense there than abstract, but well..)
> 
> Once I am completely back from Fosdem I'll play with this a bit more, to see if that's package hierarchy, generics or combination thereof that is triggering it and submit a bug with final details..
> Thanks again!
>