Re: generic with function procedure

[Simon Wright <simon@pushface.org>]

Gilbert Gosseyn <hnptz@yahoo.de> writes:

> Apparently the problem is solved when I make the parameter list for f,
> g, and h the same. (it must be a well known fact when using more than
> one with. However, I missed it). Thanks to all contributors.

If you'd posted this question on the [ada] tag on StackOverflow, we'd
have probably closed the question because you haven't shown us the code
that you couldn't get to work!

Show us the original failing declarations of F, G, and H and then we can
tell you more.

It is most definitely *not* a "well known fact" that the parameter lists
of all subprogram arguments to a generic have to be the same. In fact,
that suggestion is completely false.

Simple compiling demo:

procedure Vogt is
   subtype Real is Float;
   type Real_Vector is array (1 .. 10) of Real;

   generic
      with function F(V : Real_Vector) return Real;
      with function G(J : Integer; V : Real_Vector) return Real;
      with function H(J : Integer; V : Real_Vector) return Real;
   procedure Denm (Np,Q,N,M : Integer);

   procedure Denm (Np,Q,N,M : Integer) is null;

   function F1 (V : Real_Vector) return Real is (42.0);
   function G1 (J : Integer; V : Real_Vector) return Real is (42.0);
   function H1 (J : Integer; V : Real_Vector) return Real is (42.0);

   procedure Nm is new Denm (F => F1, G => G1, H => H1);
begin
   null;
end Vogt;