comp.lang.ada
 help / color / mirror / Atom feed
From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: Oddity with function returning image of fixed point type
Date: Thu, 02 Sep 2021 10:08:31 -0700	[thread overview]
Message-ID: <86ilzi29dc.fsf@stephe-leake.org> (raw)
In-Reply-To: be3b685d-faf2-4d30-a1d5-036381edb3b3n@googlegroups.com

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.

-- 
-- Stephe

  reply	other threads:[~2021-09-02 17:08 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 [this message]
2021-09-02 17:32   ` Dmitry A. Kazakov
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