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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,3897c688f0b1f34c
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.180.76.194 with SMTP id m2mr2898130wiw.4.1367665500124;
        Sat, 04 May 2013 04:05:00 -0700 (PDT)
Path: 
 hg5ni66815wib.1!nntp.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!194.109.133.83.MISMATCH!newsfeed.xs4all.nl!newsfeed4.news.xs4all.nl!xs4all!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!backlog2.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!newsfeed.news.ucla.edu!nrc-news.nrc.ca!News.Dal.Ca!news.litech.org!news.etla.org!aioe.org!eternal-september.org!feeder.eternal-september.org!mx05.eternal-september.org!.POSTED!not-for-mail
From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Ada202X : alternate syntax for ranged scalars
Date: Fri, 26 Apr 2013 09:55:08 -0700
Organization: Also freenews.netfront.net; news.tornevall.net
Message-ID: <klebbd$aj0$1@dont-email.me>
References: <09e7fbc6-ea75-4660-8ece-25c5b096afd5@googlegroups.com>
Mime-Version: 1.0
Injection-Date: Fri, 26 Apr 2013 16:51:58 +0000 (UTC)
Injection-Info: mx05.eternal-september.org;
 posting-host="656ea2f23126f57fb36504d2d15a002c";
	logging-data="10848"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19xmU9/znW5mABK3ku2C7J3GGe5OXc6p5E="
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
 rv:17.0) Gecko/17.0 Thunderbird/17.0
In-Reply-To: <09e7fbc6-ea75-4660-8ece-25c5b096afd5@googlegroups.com>
Cancel-Lock: sha1:qHbSHgOzrgaeBq12kyqav66q9Vo=
X-Original-Bytes: 1950
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2013-04-26T09:55:08-07:00
List-Id: <comp.lang.ada>

On 04/26/2013 03:10 AM, Martin wrote:
> The default scalar declarations are 'closed ranges', i.e. include both upper and lower in the valid range.
>
> Sometimes we would like to specify a 'half open range', e.g. values of degree from 0.0 up to BUT NOT INCLUDING 360.0.
>
> I'm floating (pun intended) an alternative syntax for specify such ranges (or 'intervals')...
>
> type Degree is digits 15 range [0.0, 360.0); -- includes 0 but not 360

I dislike the proposal. It's far too easy to miss the subtle distinction between 
a bracket and a parenthesis.

-- 
Jeff Carter
"My legs are gray, my ears are gnarled, my eyes are old and bent."
Monty Python's Life of Brian
81