Re: Limited types and generic parameters

[fred@cs.utexas.edu (Fred Hosch)]

Without careful scrutiny of the LRM (always a mistake), the only reasonable
semantics seem to be the following.

	The generic "entity" is interpreted in its defining environment;
	thus, any free variables occuring in the generic are bound in the
	context of the generic definition.

	The generic instantiation "returns" an entity that is bound in
	the instantiating environment; any generic formals are bound to
	actuals interpreted in the instantiating environment.

Thus in the example   

   generic
      type T is limited private;
   package GP is
      type R is
         record
            F : T;
         end record;
   end GP;

   package P is new GP(T => INTEGER);

P.R.F is of type INTEGER in the instantiating environment.

(At least, that's my state-educated guess.)

				Fred Hosch
				fred@cs.utexas.edu