Re: Problem using Ada.Text_IO.Modular_IO

[anon@anon.org (anon)]

Your code works fine for me,  but using the Interfaces package is a 
more standardize: for unsigned 64-bits

--
-- test.adb
--
with ada.text_io ;  
use  ada.text_io ;  

with Interfaces ; -- Defines Unsigned_64
use  Interfaces ;

procedure test is

  --
  -- Interfaces define the following: 
  --
  --     type Unsigned_64 is mod 2 ** 64; 
  --     for Unsigned_64'Size use 64;  -- You may need to add this type
  --                                      -- of statement to your version
  --
  package M_IO is new Ada.Text_IO.Modular_IO ( Unsigned_64 ) ;

  c : constant Unsigned_64 := -5 ; -- Must declare type with a "constant"
                                       -- statement

  u : Unsigned_64 := -1 ;


begin
  m_io.put ( Item =>  u, Width =>  20, Base  => 16 ) ;
  new_line ;
  --
  -- using a constant
  --
  m_io.put ( Item =>  c, Width =>  20, Base  => 16 ) ;
  new_line ;
end ;


In <4eab7055-df3d-4d56-87da-8248829da1da@26g2000hsk.googlegroups.com>, jujosei@googlemail.com writes:
>Dear All,
>
>I'm tying to print variables of a defined modular type to the standard
>io and a file.
>The type I'm working with is: type Unsigned is mod 2**64;
>
>Therefore I define a modular_io package to do this:
>package mio is new ada.text_io.modular_io(usigned);
>
>However, when compile my little test program (using gnatmake -gnato),
>the compiler tells me that a "Constraint Error" will be raised at
>runtime. So I tried it with only 63 bit (mod 2**63), which works fine
>with the GNAT 4.3.1 (20080420) on a 32bit Ubuntu-Linux machine.
>
>----------- test program -----------
>with ada.text_io; use ada.text_io;
>procedure test is
>	type Unsigned is mod 2**64;
>	package M_IO is new Ada.Text_IO.Modular_IO (Unsigned);
>	u : Unsigned := -1;
>begin
>	m_io.put(Item =>  u, Width =>  20, Base  => 16);
>end;
>-----------------------------------------
>
>I guess that this is a bug. However, what can I do instead of this, to
>get 64 bit words printed as hex, octal and binary?
>
>Thanks in advance!
>Cheers
>Julian Seifert