From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: GNAT CE 2019 bug: Predicate check not performed
Date: Mon, 20 Apr 2020 19:59:05 -0700 (PDT)
Date: 2020-04-20T19:59:05-07:00 [thread overview]
Message-ID: <165e966b-f8d3-4d2a-86ae-447c464bd9f6@googlegroups.com> (raw)
In-Reply-To: <0d6a959d-e4f7-4cc7-af56-b00de9f7cba6@googlegroups.com>
On Monday, April 20, 2020 at 5:53:42 PM UTC-7, AdaMagica wrote:
> Am Montag, 20. April 2020 22:25:23 UTC+2 schrieb Anh Vo:
> > Therefore, I would suggest to send a bug report
>
> I did, but since I'm not a supported customer, I won't get an answer.
Just use the work around by making String_5 as a new type of String (type String_5 is new String...). I am not sure if the fix will be in GNAT Community 2020 since this bug report is not early enough. It would be terrific if it is included in the upcoming release of GNAT Community 2020.
next prev parent reply other threads:[~2020-04-21 2:59 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-04-19 9:28 GNAT CE 2019 bug: Predicate check not performed AdaMagica
2020-04-19 22:31 ` Anh Vo
2020-04-19 22:32 ` Anh Vo
2020-04-20 10:04 ` AdaMagica
2020-04-20 20:25 ` Anh Vo
2020-04-21 0:53 ` AdaMagica
2020-04-21 2:59 ` Anh Vo [this message]
2020-04-21 7:45 ` Simon Wright
2020-04-27 6:29 ` William J. Franck
2020-04-21 5:14 ` Per Sandberg
2020-04-21 7:34 ` AdaMagica
2020-04-21 16:04 ` Per Sandberg
2020-04-21 7:40 ` Simon Wright
2020-04-21 16:59 ` Optikos
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox