From: Per Sandberg <per.s.sandberg@bahnhof.se>
Subject: Re: Yet another gnat bug
Date: Sat, 2 Feb 2019 08:13:02 +0100
Date: 2019-02-02T08:13:02+01:00 [thread overview]
Message-ID: <2qb5E.172675$592.78651@fx16.am4> (raw)
In-Reply-To: <a50c8750-a8c1-4de6-be1e-44d3b12809d8@googlegroups.com>
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:
-----------------------------------------------------------------
pragma Warnings (Off);
generic
type Real is digits <>;
package wann is
end Wann;
--
generic
package Wann.Neurons is
end Wann.Neurons;
---
generic
package Wann.Nets is
type NNet_Interface is limited interface;
procedure Del (Net : in out NNet_Interface) is null;-- Fails
--procedure Del (Net : in out NNet_Interface) is abstract;-- Works
type Cached_NNet_Interface is limited interface and NNet_Interface
end Wann.Nets;
--
generic
package wann.nets.vectors is
type Proto_NNet is abstract new NNet_Interface with NULL record;
type Cached_Proto_NNet is abstract new Proto_NNet and
Cached_NNet_Interface with null record;
end wann.nets.vectors;
--
pragma Warnings (Off);
with wann.nets.vectors;
procedure run_customNN is
package PW is new wann(Real => Float);
package PNet is new PW.nets;
package PNetV is new PNet.vectors;
begin
null;
end Run_CustomNN;
-----------------------------------------------------------------
/P
On 2/1/19 10:36 PM, George Shapovalov wrote:
> On Friday, February 1, 2019 at 10:34:12 PM UTC+1, George Shapovalov wrote:
>> Just fixed this, literally a minute ago. You can sync again and retry. That was some stale path I forgot to remove. Fixed now..
>
> Please also run "mkdir -p obj/dbg" (needs done one time only) if compiler complains about this obj/dbg not existing (see my message above about .gitignore details).
>
next prev parent reply other threads:[~2019-02-02 7:13 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 [this message]
2019-02-02 19:05 ` George Shapovalov
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