comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Oddity with function returning image of fixed point type
Date: Thu, 2 Sep 2021 19:32:57 +0200	[thread overview]
Message-ID: <sgr1s9$1njk$1@gioia.aioe.org> (raw)
In-Reply-To: 86ilzi29dc.fsf@stephe-leake.org

On 2021-09-02 19:08, Stephen Leake wrote:
> Jesper Quorning <jesper.quorning@gmail.com> writes:
> 
>> Is something odd going on here?
>> I did not expect Image_Odd1/2 to return floating point images.
> 
> Right, this looks like a compiler bug. LRM 3.5(13):
> 
> S'Last
>                 S'Last denotes the upper bound of the range of S. The
>                 value of this attribute is of the type of S.
> 
> But this is acting like Fpt'Last is universal_real.

No, it is this:

LRM 4.10 (40/5)

"X'Image denotes the result of calling function S'Image with Arg being 
X, where S is the nominal subtype of X."

The question is what is the nominal subtype of Fpt'Last.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

  reply	other threads:[~2021-09-02 17:32 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-09-02 10:25 Oddity with function returning image of fixed point type Jesper Quorning
2021-09-02 17:08 ` Stephen Leake
2021-09-02 17:32   ` Dmitry A. Kazakov [this message]
2021-09-02 23:24     ` Jesper Quorning
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox