From: Eryndlia Mavourneen <eryndlia@gmail.com>
Subject: Re: Ada202X : alternate syntax for ranged scalars
Date: Thu, 2 May 2013 06:29:32 -0700 (PDT)
Date: 2013-05-02T06:29:32-07:00 [thread overview]
Message-ID: <5210dc6c-8b4c-46b7-8fd9-b8ffdcffa594@googlegroups.com> (raw)
In-Reply-To: <klsi1b$q52$1@munin.nbi.dk>
On Wednesday, May 1, 2013 9:11:50 PM UTC-5, Randy Brukardt wrote:
> "Eryndlia Mavourneen" <eryndlia@gmail.com> wrote in message
> news:3861a3cd-2513-4871-9062-2f2a53eb106b@googlegroups.com...
>
> >...
> > That said, we must assume that floating point values get translated
> > *exactly*; that is,
> >360.0 does not get translated to a machine type of 359.999999... or
> >360.0111111...
>
> So what exactly is this gaining over:
> subtype My_Flt is Float range Float'Succ(0.0)..Float'Pred(360.0);
>
> Randy.
Nothing that I see. I prefer the already available syntax of 'Pred and 'Succ. My note was merely offering up an alternative syntax to the Op's, if something special were required for any reason.
-- Eryndlia
next prev parent reply other threads:[~2013-05-02 13:29 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-04-26 10:10 Ada202X : alternate syntax for ranged scalars Martin
2013-04-26 10:35 ` Peter C. Chapin
2013-04-26 12:26 ` Eryndlia Mavourneen
2013-05-02 2:11 ` Randy Brukardt
2013-05-02 13:29 ` Eryndlia Mavourneen [this message]
2013-04-26 12:53 ` AdaMagica
2013-04-26 14:46 ` Shark8
2013-04-28 2:11 ` Stephen Leake
2013-04-26 16:55 ` Jeffrey Carter
2013-05-02 23:05 ` Jerry
2013-05-14 22:30 ` Martin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox