Objects and the Stack?

[Freejack <freejack@nowhere.net>]

It's my understanding that one can eliminate the need for pointers (access
types) through prudent use of tagged types and classes. However it is also
my understanding that Gnat at least, when creating instances of Foo'class,
creates them on the stack.

So, for kicks, I'm gonna write a package that creates a stack, with the
stack being a tagged object which gets extended with each new element
object that's pushed onto it.

I don't see any problems with implementing this as far as the language
itself is concerned. However I'm guessing the actual stack object will
reach a point where it reeks hell with the system stack.

Anyone here have experience with similar constructs and machinations?

Just curious.

Freejack