From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.224.130.195 with SMTP id u3mr11338885qas.1.1367501372945;
        Thu, 02 May 2013 06:29:32 -0700 (PDT)
X-Received: by 10.49.109.200 with SMTP id hu8mr498209qeb.31.1367501372923;
 Thu, 02 May 2013 06:29:32 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!mx05.eternal-september.org!feeder.eternal-september.org!news.glorb.com!m7no307014qam.0!news-out.google.com!y6ni0qax.0!nntp.google.com!m7no307010qam.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 2 May 2013 06:29:32 -0700 (PDT)
In-Reply-To: <klsi1b$q52$1@munin.nbi.dk>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=129.59.203.209;
 posting-account=7Oy7OQoAAABhVYFOo553Cn1-AaU-bSfl
NNTP-Posting-Host: 129.59.203.209
References: <09e7fbc6-ea75-4660-8ece-25c5b096afd5@googlegroups.com>
 <3861a3cd-2513-4871-9062-2f2a53eb106b@googlegroups.com>
 <klsi1b$q52$1@munin.nbi.dk>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5210dc6c-8b4c-46b7-8fd9-b8ffdcffa594@googlegroups.com>
Subject: Re: Ada202X : alternate syntax for ranged scalars
From: Eryndlia Mavourneen <eryndlia@gmail.com>
Injection-Date: Thu, 02 May 2013 13:29:32 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: news.eternal-september.org comp.lang.ada:15294
Date: 2013-05-02T06:29:32-07:00
List-Id: <comp.lang.ada>

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