From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Generic formal ">"
Date: Wed, 26 Jan 2022 11:00:22 -0800 (PST) [thread overview]
Message-ID: <2c201046-a0f0-48aa-a8a1-f177d5349e45n@googlegroups.com> (raw)
In-Reply-To: <3ecb1915-5e53-40bd-aaba-96ac52e774b1n@googlegroups.com>
GNAT CE 2021 produces the wrong result. You should definitely report this.
Data'Length: 2
Data'Length > 1: FALSE
Integer'(Data'Length) > 1: TRUE
Standard.">" (Data'Length, 1): FALSE
Standard.">" (Integer'(Data'Length), 1): TRUE
[2022-01-26 19:53:10] process terminated successfully, elapsed time: 02.39s
next prev parent reply other threads:[~2022-01-26 19:00 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-01-26 16:54 Generic formal ">" Simon Wright
2022-01-26 18:46 ` Jeffrey R.Carter
2022-01-26 18:48 ` AdaMagica
2022-01-26 19:00 ` AdaMagica [this message]
2022-01-27 12:05 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox