Re: Problem with generic package

[Simon Wright <simon@pushface.org>]

Laurent <daemon2@internet.lu> writes:

>    procedure Sort_Generic (List : in out List_Type) is
>
>       -- We need to make an instance of Swap_Generic for this case
>
>       error ==>procedure Exchange is new Swap_Generic (Value_Type => Element_Type); <== error

You do *not* need to make an instance of Swap_Generic; within the body
of Array_Generic you can refer to Swap_Generic as it is. And, as Adam
says, Swap_Generic isn't actually a generic subprogram in its own right,
it's "just" a subprogram in a generic package.

The compiler messages I got were

   array_generics.adb:18:33: expect generic subprogram in instantiation
   array_generics.adb:36:13: "Exchange" is undefined

so delete the first line and replace Exchange by Swap_Generic in the
second.


By the way, GNAT works much better if you stick with lower-case file
names (I think your code wouldn't compile on Linux, which has
case-sensitive file names; when compiling Array_Generics.adb GNAT
expects to find array_generics.ads, not Array_Generics.ads).