Re: numbers as 'generics' parameters

[Maciej Sobczak <see.my.homepage@gmail.com>]

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?
Declare it in a child package? Is there any other option?

Similar question can be asked for (un)constrained and discriminated
types. What are the options for such an operation?

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com