Re: Restarting Tread: Why isn't this program working with Unchecked_Converstion

["tmoran@acm.org" <tmoran@acm.org>]

On Jan 15, 3:20 pm, ChristopherL <clusard...@aol.com> wrote:
> On Jan 15, 5:24 pm, Martin <martin.do...@btopenworld.com> wrote:
>
> > And that's assuming the Unchecked_Conversion works - double
> > check the actual sizes!
>
> In the debugger when I look at Float'Size it tells me 32.
> When I look at Short_integer1'Size it tells me 10, and for
> Short_integer2'Size it tell me 10.
>
> Chris L.

An Unchecked_Conversion just copies bits.  There's no way to copy 32
bits into something with room for only 10, and the compiler is
pointing this out now.  I suppose it could copy the leftmost 5 of the
32 bits, and the rightmost 5, and let you try to debug the result, but
that isn't The Ada Way.
Why don't you simply do a type conversion
  Result2 := Short_Integer2 (Result1);
There will then be a run-time check and, if the value in Result1 will
fit in a Short_Integer2, the assignment will take place.  If it won't
fit, it will raise an exception so you can debug your program.