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 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).
> 

  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