Re: Yet another gnat bug

[George Shapovalov <gshapovalov@gmail.com>]

On Saturday, February 2, 2019 at 12:17:19 AM UTC+1, Simon Wright wrote:
> OK, and all the compilers I have here fail in the same way:
[..]
>   /* If we get here, it means we have not yet done anything with this entity.
[..]
> ... and we are none the wiser.
> 
> I tried
>   gprbuild -p -P wann.gpr -c -u -f wann-nets-vectors.adb
> and it compiled OK except for loads of 'unimplemented' warnings.
Ok, so the file itself compiles (I gotta read up on all those switches apparently. This is a ways to quickly test stuff. Thanks for a suggestion!)
But that is quite what I expect, given the nature of the bugs I get - they clearly come from gnat getting lost in all the inheritances I throw at it..

> Poking around at your main program, it seems that things go wrong at the
> line
The specific offending lines are:
wann-nets-vectors.ads:104 and 106
these two full type definitions (if I comment out one it still fails on the other):
    type Cached_Proto_NNet is abstract new Proto_NNet and Cached_NNet_Interface with null record;

    type Cached_Checked_Proto_NNet is abstract new Proto_NNet and Cached_Checked_NNet_Interface with null record;

These are null record at the moment, as I did not yet get around to properly implement them. Just placeholders essentially. And this is what might be confusing gnat I suspect. I did not yet try to add any actual data inside..

> 'gprbuild -p' will create missing directories.
> Or you could add
Thanks, I'll add this too..

A small note: I will be at the Fosdem most of today and possibly tomorrow. So, I may not be able to reply in a timely manner these two days..
(But I will surely pass by the Ada dev room today!)