comp.lang.ada
 help / color / mirror / Atom feed
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

  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