comp.lang.ada
 help / color / mirror / Atom feed
From: Per Sandberg <per.s.sandberg@bahnhof.se>
Subject: Re: Yet another gnat bug
Date: Sat, 2 Feb 2019 22:37:01 +0100
Date: 2019-02-02T22:37:01+01:00	[thread overview]
Message-ID: <24o5E.235692$IF1.229991@fx03.am4> (raw)
In-Reply-To: <1af84a62-9236-403e-a87b-59f1a82cb3a5@googlegroups.com>

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!
> 


  reply	other threads:[~2019-02-02 21:37 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-02-01 14:51 Yet another gnat bug George Shapovalov
2019-02-01 18:47 ` Dmitry A. Kazakov
2019-02-01 21:32   ` George Shapovalov
2019-02-01 20:41 ` Simon Wright
2019-02-01 21:26   ` George Shapovalov
2019-02-01 23:17     ` Simon Wright
2019-02-02  7:16       ` George Shapovalov
2019-02-02  2:00     ` Jere
2019-02-02  7:04       ` George Shapovalov
2019-02-01 21:22 ` Per Sandberg
2019-02-01 21:34   ` George Shapovalov
2019-02-01 21:36     ` George Shapovalov
2019-02-02  7:13       ` Per Sandberg
2019-02-02 19:05         ` George Shapovalov
2019-02-02 21:37           ` Per Sandberg [this message]
2019-02-04 12:28             ` George Shapovalov
2019-02-04 15:30               ` joakimds
2019-02-04 16:11               ` Simon Wright
2019-02-05 19:16                 ` George Shapovalov
2019-02-05 20:37                   ` Simon Wright
2019-02-06 10:53                     ` George Shapovalov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox