From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!feeder5.feed.usenet.farm!feed.usenet.farm!newsfeed.xs4all.nl!newsfeed9.news.xs4all.nl!85.12.16.68.MISMATCH!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!fx03.dcg.POSTED!not-for-mail
Subject: Re: yes another gnat bug (inherited tagged type as record field is
 too much for gnat??)
Newsgroups: comp.lang.ada
References: <9bee64ac-42c4-495e-9ce6-69c306b8e3a5@googlegroups.com>
 <lyy2w8kp2o.fsf@pushface.org>
 <3ac08f1b-911b-4da5-a1ad-b32e84ee641b@googlegroups.com>
 <86d2b164-519b-4308-ba62-3f518d4f8fd2@googlegroups.com>
From: Per Sandberg <per.s.sandberg@bahnhof.se>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.1.1
MIME-Version: 1.0
In-Reply-To: <86d2b164-519b-4308-ba62-3f518d4f8fd2@googlegroups.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Message-ID: <HqWCF.8035$Dx3.5885@fx03.dcg>
X-Complaints-To: abuse@usenet.se
NNTP-Posting-Date: Mon, 25 Nov 2019 20:01:43 UTC
Organization: usenet.se
Date: Mon, 25 Nov 2019 21:01:43 +0100
X-Received-Bytes: 1766
X-Received-Body-CRC: 1961447821
Xref: reader01.eternal-september.org comp.lang.ada:57607
Date: 2019-11-25T21:01:43+01:00
List-Id: <comp.lang.ada>

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
>