Re: type and subtype

Jeffrey Carter <spam@xxxxxxxx> 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.
.

Relevant Pages

  • Three questions about signed/unsigned type representations
    ... , and 4.7 (Integral conversions). ... representations of these values that are common to both types (i.e. ... or there is really no word in the Standard about ... Imagine we use 2 bits to represent unsigned int, ...
    (comp.lang.cpp)
  • Re: Binary operations in FORTRAN
    ... As someone else mentioned, such "conversions" are ... express the question without talking about representations. ... would be if the 00000111 were a character string. ... But I suppose that either interpretation is possible. ...
    (comp.lang.fortran)
  • Re: Proposal: 6NF
    ... The problems started when we wanted to store information in computers ... and found that different domains required differrent representations. ... representation before comparisons can be made - and if the conversions ... introduce inaccuracy, then the comparisons become inaccurate as well. ...
    (comp.databases.theory)