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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: =?UTF-8?Q?Bj=c3=b6rn_Lundin?= <b.f.lundin@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Curiosity about different integer types
Date: Sun, 19 Jun 2016 00:04:31 +0200
Organization: A noiseless patient Spider
Message-ID: <nk4gnl$a42$1@dont-email.me>
References: <63c033c6-10b5-44fc-8d93-a786392a6058@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 18 Jun 2016 22:07:49 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="f8a33acc702caa2b507cfdb72d550cf6";
	logging-data="10370"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+j811Tej0eRSZagsRqmpZ5"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Icedove/38.7.0
In-Reply-To: <63c033c6-10b5-44fc-8d93-a786392a6058@googlegroups.com>
Cancel-Lock: sha1:2EohAZkTt/UedPkIJY03X2PCjpQ=
Xref: news.eternal-september.org comp.lang.ada:30797
Date: 2016-06-19T00:04:31+02:00
List-Id: <comp.lang.ada>

On 2016-06-18 23:26, mockturtle wrote:
> Dear all,
> few days ago a curiosity came to my mind.  Consider this
> 
>   type Foo is new Integer range 0 .. 115;
>   type Bar is new Integer range -1000 .. 1000;

try add
for Foo'Size use 8;
and they are different

> 
> My gut feeling is that, despite the fact that they are both derived from Integer, 
> there is no guarantee that the "binary type" underneath them is the
same.

to make them same do

for Foo'Size use Bar'Size;

-- 
--
Björn