From: Ludovic Brenta <ludovic.brenta@tiscali.be>
Subject: Re: type and subtype
Date: Mon, 25 Jul 2005 23:59:39 +0200
Date: 2005-07-25T23:59:39+02:00 [thread overview]
Message-ID: <871x5msg1g.fsf@tiscali.be> (raw)
In-Reply-To: 0L7Fe.3$Jf6.1@dfw-service2.ext.ray.com
Jeffrey Carter <spam@spam.com> writes:
> Dmitry A. Kazakov wrote:
> Integer'Size = 32
> Natural'Size = 31
>
> because representations of subtypes are not required to be the same.
And this all confirms my initial point: conversions between subtypes
of the same type involve run-time checks, which may raise
Constraint_Error. Additionally, in some (but not all) cases, implicit
conversions may involve changes in representation, i.e. an actual
conversion which is not a no-op.
--
Ludovic Brenta.
next prev parent reply other threads:[~2005-07-25 21:59 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-07-24 14:24 type and subtype Douglas Chong
2005-07-24 14:39 ` Dmitry A. Kazakov
2005-07-25 17:07 ` Martin Krischik
2005-07-24 16:20 ` Ludovic Brenta
2005-07-24 16:40 ` Jeffrey Carter
2005-07-25 8:23 ` Dmitry A. Kazakov
2005-07-25 15:41 ` Jeffrey Carter
2005-07-25 21:59 ` Ludovic Brenta [this message]
2005-07-26 8:21 ` Dmitry A. Kazakov
2005-07-25 17:02 ` Martin Krischik
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox