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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,8276b2994037cd71
X-Google-Attributes: gid103376,public
From: Philippe Torres <ptorres@laas.fr>
Subject: Re: disjoint ranges ?
Date: 2000/10/13
Message-ID: <39E6E890.3B13E7A9@laas.fr>#1/1
X-Deja-AN: 680949273
Content-Transfer-Encoding: 7bit
References: <39E612C9.9BF98CD3@laas.fr> <DhpF5.178$AR3.40313@nnrp2.sbc.net>
 <8s59nu$ej4$1@news.huji.ac.il> <z6rF5.45$bz5.65618@nnrp3.sbc.net>
 <39E658A4.525AE881@acm.org>
X-Accept-Language: fr-FR,en
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: postmaster@cict.fr
X-Trace: news.cict.fr 971434131 7377 140.93.144.128 (13 Oct 2000 10:48:51 GMT)
Organization: Inconnue
Mime-Version: 1.0
NNTP-Posting-Date: 13 Oct 2000 10:48:51 GMT
Newsgroups: comp.lang.ada
Date: 2000-10-13T10:48:51+00:00
List-Id: <comp.lang.ada>

Jeff Carter wrote:
> 
> It's interesting how the useful things you can do easily with types and
> subtypes in Ada, and not at all or with difficulty in many (most?) other
> languages, lead people to expect even more from Ada's type system than
> it should reasonably be expected to do.
> 
It's very true but i find that, range being an attribute so common, the
union of ranges would be very useful and not that unreasonable. it could
only improve Ada's advantage in this domain. Perhaps in some future ?

Philippe