Re: Building limited types through nested creator functions

[Simon Belmont <sbelmont700@gmail.com>]

On Feb 6, 7:03 pm, Adam Beneschan <a...@irvine.com> wrote:

> (2) If you want users of the package to create an Inner, and then
> create an Outer that *refers* to that same Inner (without making a
> copy), then you shouldn't object to using access types (in the private
> part).

It is basically this, and I really have no objection in using the
access type.  But since Ada can do it for a public type, I was just
interested if there was some sort of official way for a private type
(which would avoid the necessary evils of lifetime control,
accessibility, etc.)

Thank you again

-sb