Re: how to import a package

[Jean-Pierre Rosen <rosen@adalog.fr>]

Stuart a �crit :
>    package body P is
>       type T is array(0..5) of integer;
>       A, B : array(0..5) of integer;
>       C, D : T;
>    begin
>       A := B;
>       -- Not allowed because types don't match!
>       C := D;
>       -- Types match!
>    end P;
> 
> [...]
> However, both C and D are of the same named type - even though the type T 
> has an anonymous type as an index range.  I think it is better to avoid 
> anonymous types - so the declaration of T might be better written as:
>       type T_index is range 0..5;
>       type T is array(T_index) of integer;
> 
Just nit-picking, the index type of T is not anonymous, it is 
Standard.Integer by default, therefore the aboved declaration is not 
equivalent.

Agreed, it is best to avoid hidden use of Standard.Integer. If you need 
Integer as the index type, better use:
type T is array (Integer range 0..5) of Integer;

Note that this remark is also applicable to loops. Rather than:
for I in 1..10 loop

write:
for I in Integer range 1..10 loop

(small plug: there is a rule in AdaControl to check the above)
-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr