Re: limited allocated classwide types

[Simon Belmont <sbelmont700@gmail.com>]

To answer the first response, removing the limited type (for both the
interface and implementation and, obviously, switching to 'normal'
controlled) causes it to behave normally.

More vexxing is that I can alter what happens in the presumably
incorrect case simply by adding, removing, and reordering the
functions in the spec (which smacks heavily of a mixed up vtable, to
excuse the c++ terminology), which the second response more-or-less
supports.

Though it is satisfying to hear that this is most likely a compiler
error, and not poor programming skills on my part, I can't help but
feel unnerved by this.  I am only months into being an Ada programmer
and not trying to anything that isn't well described and ostensibly
supported, so it seems odd that such a basic test case would uncover
and compiler bug.  Moreover, one of the points of pride is that Ada
compilers are heavily tested and verified for safety critical apps,
which this seems to undercut.  Not to sound snarky, but I personally
have never found a bug in a GPL C compiler.

In either case, just to confirm, this is the "correct" way to code
this?  Is there any official channel for calling this a bug?

Thank you again for verifying my sanity

-ab