From: Per Sandberg <per.s.sandberg@bahnhof.se>
Subject: Re: yes another gnat bug (inherited tagged type as record field is too much for gnat??)
Date: Mon, 25 Nov 2019 21:01:43 +0100
Date: 2019-11-25T21:01:43+01:00 [thread overview]
Message-ID: <HqWCF.8035$Dx3.5885@fx03.dcg> (raw)
In-Reply-To: <86d2b164-519b-4308-ba62-3f518d4f8fd2@googlegroups.com>
God work.
And then I assume you followed the instructions and reported it to AdaCore?
/P
On 2019-11-25 20:31, gerrshapovalov@gmail.com wrote:
> A short update:
> After playing around some more I narrowed it down to gnat having some problem with discriminant handling. Basically
>
> type FRec is record
> f : List(5);
> end record
> R : FRec;
> --
> R.f(1) := 1; -- still works (as in compiles *and* executes Ok)
>
> but
>
> type FRec (N : Positive) is record
> f : List(N);
> end record
> R : FRec(5);
> --
> R.f(1) := 1; -- triggers the bug
>
>
> I have updated the "demo" (tests) package.
> ( https://github.com/gerr135/ada_composition , the ada_lists_tests dir)
> Now simply calling make should just build the (non-failing) tests.
>
> To trigger the bug run:
> make bug01
>
next prev parent reply other threads:[~2019-11-25 20:01 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-11-22 13:26 yes another gnat bug (inherited tagged type as record field is too much for gnat??) gerrshapovalov
2019-11-22 13:33 ` gerrshapovalov
2019-11-22 13:39 ` Simon Wright
2019-11-22 13:57 ` gerrshapovalov
2019-11-25 19:31 ` gerrshapovalov
2019-11-25 20:01 ` Per Sandberg [this message]
2019-11-26 13:49 ` gerrshapovalov
2019-11-26 16:09 ` joakimds
2019-11-26 17:09 ` gerrshapovalov
2019-11-26 18:01 ` Simon Wright
2019-12-02 9:02 ` George Shapovalov
2019-12-02 10:02 ` joakimds
2019-12-02 17:12 ` Optikos
2019-12-02 17:50 ` AdaMagica
2019-12-02 19:51 ` George Shapovalov
2019-12-02 20:18 ` Simon Wright
2019-12-02 21:02 ` Optikos
2019-12-09 13:44 ` charlet
2019-12-10 12:12 ` charlet
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox