Passing indefinite types

[sbelmont700@gmail.com]

Hi,

Does anyone know of a slick way to pass several locally declared, indefinite types to a subprogram without resorting to the heap or Unchecked_Access?  An array of indefinite types is obviously not possible, an array of named access types is subject to accessibility problems, and wrapping the object in an 'accessor' (i.e. a null record with an access discriminant) turns right back into a problem of an array of indefinite types.  I can always declare a procedure that takes a bunch of individual parameters, but this seems like a kludge, and doesn't solve the problem if the number of items might vary.  It would be nice if there was some way to establish that a discriminated record is in fact a fixed size, or perhaps if an array of anonymous access types had the same accessibility as access discriminants.  But if anyone knows of a workaround, I would be interested in how it was done.

Thank you.

-sb