Re: The right way to handle this difference in Ada

[Eric Jacoboni <jaco@neottia.net>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:


> 2. Well, if c should be negative then probably:
>
>    type int_12_type is range -2**12..2**12-1;
>    subtype unsigned_int_12_subtype is
>       int_12_type range 0..int_12_type'Last;
>
>    a : unsigned_int_12_subtype := 1;
>    b : unsigned_int_12_subtype := 2;
>    c : int_12_type := a - b; -- yields -1

Perhaps i've not understood all the implications of the initial
question but, imo, a signed int_n_type varies from -2**(n - 1) to
+2**(n - 1) - 1, not from -2**n to +2**n - 1.

-- 
�ric Jacoboni, n� il y a 1393946375 secondes