Re: AW: Static vs dynamic evaluation anomaly?

[Stefan Lucks <lucks@th.informatik.uni-mannheim.de>]

There seems to be something wrong with the Put_Line statement:

On Wed, 7 Feb 2007, Grein, Christoph (Fa. ESG) wrote:

> with Ada.Text_IO;
> use  Ada.Text_IO;
> procedure test271 is
>   type Six_Bits is mod 2**6;
>   X: constant Six_Bits := 31;
>   Z: constant Integer  := 31;
> begin
>   for J in 0..5 loop
>     Put_Line (Integer 'Image         (J) &
>               Six_Bits'Image  (X * 2**J) &
>               Integer 'Image ((X * 2**J) mod Six_Bit'Modulus));
    Put_Line (Integer 'Image         (J) &
              Six_Bits'Image  (X * 2**J) &
              Integer 'Image ((Integer(X) * 2**Integer(J))
                                mod Six_Bits'Modulus)
             );
>   end loop;
> end test271;
>

-- 
Stefan Lucks      Th. Informatik, Univ. Mannheim, 68131 Mannheim, Germany
            e-mail: lucks@th.informatik.uni-mannheim.de
            home: http://th.informatik.uni-mannheim.de/people/lucks/
------  I  love  the  taste  of  Cryptanalysis  in  the  morning!  ------