Re: numbers as 'generics' parameters

["Peter C. Chapin" <pchapin@sover.net>]

Maciej Sobczak wrote:

> On 16 Maj, 20:57, Gautier <gaut...@fakeaddress.nil> wrote:
> 
>> generic
>>    N: Integer;
>> package Fixed_size_vectors is
>>    Vector: array(1..N) of Float;
> 
> I guess:
>      type Vector is array (1..N) of Float;
> 
>> end;
> 
> How to write an operation that ensures *at compile time* that its two
> parameters are Fixed_size_vectors of equal N?

I may not understand the question, but isn't this trivial?

procedure Check is
    package Short_Vectors is new Fixed_Size_Vectors(N => 3);
    package Long_Vectors is new Fixed_Size_Vectors(N => 6);

    V1     : Short_Vectors.Vector;
    V2, V3 : Long_Vectors.Vector;
begin
    V3 := V1 + V2;
end Check;

Assuming an appropriate overload for "+" this produces a compile time 
error for me.

Peter