Re: Global scope for instantiated generic package?

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Mon, 30 Aug 2010 08:12:19 -0500, Trogdor wrote:

> I wish to manipulate very large integers with values in the 
> trillions.  This would require a 64 bit integer type, so to maintain 
> portability I specify a new type using range and let the compiler do 
> the right thing.
> 
> type BigInt is range 1..10_000_000_000_000;
> 
> I then wish to get and put these values, so I instantiate 
> Integer_IO.
> 
> package BigInt_IO is new integer_IO(BigInt);
> 
> My program consists of three parts: the main body, a package spec 
> and a package body (the package containing all the subprograms and 
> functions).
> 
> 1) Is this the way to do it, or is there a preffered way?

I usually do it this way:

package Big_Integers is
   type Big_Integer is range 1..10_000_000_000_000;
end Big_Integers;

Further instantiations based on it go into children packages:

with Ada.Text_IO;  use Ada.Text_IO;
package Big_Integers.IO is new Integer_IO (Big_Integer);

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de