Re: ANN: Ada 2005 Math Extensions, 20100810 release

[Simon Wright <simon@pushface.org>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> with Ada.Numerics.Generic_Complex_Arrays;
> generic
>    with package Complex_Arrays is
>       new Ada.Numerics.Generic_Complex_Arrays (<>);
> package Whatever is
>    use Complex_Arrays;
>    use Complex_Types;  -- Complex_Arrays.Complex_Types
>    use Real_Arrays;        -- Complex_Arrays.Real_Arrays
>
>    function Eigenvalues (A : Real_Matrix) return  Complex_Vector;
> end Whatever;

Not sure this is _quite_ the name I was looking for :-)

I found that I could say

   package body Whatever is

      subtype Real is Complex_Arrays.Real_Arrays.Real;

So I can see the formal parameters of a formal package! (I knew that
really, that's how signature packages work).

This really seems like the best way to go. Thanks to you and Stephe for
the pointers.