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=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!newspeer1.nac.net!feeder.erje.net!eu.feeder.erje.net!news.ecp.fr!news.muarf.org!nntpfeed.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Thu, 03 Apr 2014 08:30:03 +0200
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9;
 rv:24.0) Gecko/20100101 Thunderbird/24.1.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Your wish list for Ada 202X
References: <7f1c01c5-3563-4b94-9831-152dbbf2ecdc@googlegroups.com>	
 <2d62368c-9f64-49f3-98a8-5121d0c0fa23@googlegroups.com>	
 <lhi4d5$c2s$1@loke.gir.dk> <lhi8cb$43o$2@dont-email.me>
 <1396504291.12566.134.camel@pascal.home.net>
In-Reply-To: <1396504291.12566.134.camel@pascal.home.net>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <533cffeb$0$6716$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 03 Apr 2014 08:30:03 CEST
NNTP-Posting-Host: 972e342e.newsspool3.arcor-online.net
X-Trace: 
 DXC=TKcd0Aj:a1if1oJaJ0@dmgMcF=Q^Z^V3h4Fo<]lROoRa8kF<OcfhCOkHgaNXL43oacPCY\c7>ejVhN_>[Hgg;
 HnfH>AF7N3MNhc
X-Complaints-To: usenet-abuse@arcor.de
X-Original-Bytes: 1741
Xref: number.nntp.dca.giganews.com comp.lang.ada:185472
Date: 2014-04-03T08:30:03+02:00
List-Id: <comp.lang.ada>

On 03/04/14 07:51, Pascal Obry wrote:
> But again this is doable today in Ada (even 1983) with a library and
> proper overriding of the operators.

If one library L1 has a first subtype with "range -2**63 .. 2**63-1",
and your compiler only supports smaller ranges or private
types from some integer library L2, then the programmer cannot
make L1 and L2 compatible, since the compiler rejects L1.

SQL bindings are one example of the kind L1.