Re: Inferring array index type from array object

[Simon Wright <simon@pushface.org>]

"J-P. Rosen" <rosen@adalog.fr> writes:

> outside the instantiation, you are supposed to know how it was
> instantiated, therefore you have access to the actuals. Why would you
> need to reexport the formals?

Formal types, yes, not so sure about formal objects. Consider eg a
generic signature package ..

   generic

      type Severity_Code is (<>);
      --  Messages are logged with this indication of severity.

      Error : Severity_Code;
      --  This value is used for error messages.

      Informational : Severity_Code;
      --  This value is used for informational messages.

      with procedure Log (Severity : Severity_Code; Message : String);

   package Logging_Signature is

      --  Make the actual instantiation parameters visible.
      package Exported is
         Error : Severity_Code renames Logging_Signature.Error;
         Informational : Severity_Code renames Logging_Signature.Informational;
         procedure Log (Severity : Severity_Code; Message : String)
           renames Logging_Signature.Log;
      end Exported;