Re: Ada.Numerics.Long_Real_Arrays

[hnptz@yahoo.de]

> Hi,
> 
> these are my definitions:
> 
> with Ada.Numerics.Long_Real_Arrays; use Ada.Numerics.Long_Real_Arrays;
> package nm is
> 
> Np : Positive;
> Type R_Vector is new Real_Vector (1..Np);
> Type R_Matrix is array (Positive range <>) of R_Vector;
> 
> procedure nm1 (P : in out R_Matrix);
> 
> end nm;
> 
> -- definition of procedure nm1 in package body nm done.
> 
> now in procedure test_nm.adb (only definitions):
> 
> Np : Positive := 2;
> Mp : Positive := Np+1;
> 
> 24  P : R_Matrix(1..Mp) := ((x,x),(y,y),(z,z));
> 
> no "build all" error or warning
> 
> result when running:
> 
> raised CONSTRAINT_ERROR : test_nm.adb: 24 length check failed.
> 
> Can you help?


On January 25. Simon Wright wrote:

You could try a generic? 

with Ada.Numerics.Long_Real_Arrays; 
generic 
   Rows : Positive; 
package Nm_G is 
   subtype R_Vector 
     is Ada.Numerics.Long_Real_Arrays.Real_Vector (1 .. Rows - 1); 
   type R_Matrix is array (1 .. Rows) of R_Vector; 
end Nm_G; 

with Ada.Text_Io; use Ada.Text_Io; 
with Nm_G; 
procedure Nm_Test is 
   package Nm is new Nm_G (Rows => 3); 
   use Nm; 
   P : R_Matrix := ((42.0, 42.0), (43.0, 43.0), (44.0, 44.0)); 
   V : R_Vector := P (P'Last); 
begin 
   Put_Line ("v: " & V (V'First)'Img & ", " & V (V'Last)'Img); 
end Nm_Test; 

It works.

My new Nm_Test is

with Ada.Text_Io; use Ada.Text_Io; 
with Nm_G; 
procedure Nm_Test is 
   package Nm is new Nm_G (Rows => 3); 
   use Nm; 
   P : R_Matrix := ((42.0, 42.0), (43.0, 43.0), (44.0, 44.0)); 
   V,X  : R_Vector := P (P'Last);
   MLF : Long_Float := 6.0; 
begin 
   Put_Line ("v: " & V (V'First)'Img & ", " & V (V'Last)'Img); 
   X := V / MLF;
   Put_Line ("X: " & X (X'First)'Img & ", " & X(X'Last)'Img); 
end Nm_Test; 

It should also work according to the description in the ARM 2012.
However, it says: expected type "Standard.Long_Float"

Maybe it lacks implementation ?