From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Ada.Numerics.Long_Real_Arrays
Date: Fri, 27 Jan 2017 18:39:48 +0000
Organization: A noiseless patient Spider
Message-ID: <lyh94kuz2j.fsf@pushface.org>
References: <5a19787c-a11c-470e-8cef-2c5dc4897bf7@googlegroups.com>
	<85df173c-35e9-4e2e-b067-459794a98aa8@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="fae0425969abbcf5321902836f9b1dc0";
	logging-data="1122"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/ohG030IIvjz7NCuY7dakGTFA/FJ0XtQw="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1 (darwin)
Cancel-Lock: sha1:A0Oict69leSCkcworVUKj6Vdn0I=
	sha1:my9emg8lyn8a1tbTsFuyx8S2wSE=
Xref: news.eternal-september.org comp.lang.ada:33201
Date: 2017-01-27T18:39:48+00:00
List-Id: <comp.lang.ada>

hnptz@yahoo.de writes:

> 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"

This is because I declared Nm_G.R_Vector as a subtype; the required
operation "/" of Ada.Numerics.Long_Real_Arrays.Real_Vector isn't
visible.

You could modify your Nm_Test to

   use type Ada.Numerics.Long_Real_Arrays.Real_Vector;

but the best approach (I think): declare Nm_G.R_Vector as a type,

   type R_Vector
   is new Ada.Numerics.Long_Real_Arrays.Real_Vector (1 .. Np);