From: George Shapovalov <gshapovalov@gmail.com>
Subject: Re: Yet another gnat bug
Date: Sat, 2 Feb 2019 11:05:19 -0800 (PST)
Date: 2019-02-02T11:05:19-08:00 [thread overview]
Message-ID: <1af84a62-9236-403e-a87b-59f1a82cb3a5@googlegroups.com> (raw)
In-Reply-To: <2qb5E.172675$592.78651@fx16.am4>
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!
next prev parent reply other threads:[~2019-02-02 19:05 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 [this message]
2019-02-02 21:37 ` Per Sandberg
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