From: "Björn Lundin" <b.f.lundin@gmail.com>
Subject: Re: Curiosity about different integer types
Date: Sun, 19 Jun 2016 00:04:31 +0200
Date: 2016-06-19T00:04:31+02:00 [thread overview]
Message-ID: <nk4gnl$a42$1@dont-email.me> (raw)
In-Reply-To: <63c033c6-10b5-44fc-8d93-a786392a6058@googlegroups.com>
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
next prev parent reply other threads:[~2016-06-18 22:04 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-06-18 21:26 Curiosity about different integer types mockturtle
2016-06-18 21:57 ` Dmitry A. Kazakov
2016-06-18 22:04 ` Björn Lundin [this message]
2016-06-18 23:05 ` Jeffrey R. Carter
2016-06-20 11:39 ` mockturtle
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox