Re: Program_Error because of Finalization.

[Tucker Taft <stt@averstar.com>]

Marin David Condic wrote:
> ...
> >
> > I remember myself mentionning this issue (stream attribute on Controlled)
> > to the standard list while I was working on the distributed annex, but
> > I don't remember if some AI was issued or not.
> >
> 
> So there is some kind of language issue here, eh? Well at least I know that it
> wasn't just a case of my doing it wrong. I thought perhaps I was just missing
> something on the function return value or some such.
> 
> What disturbs me is that it works *Just Fine* so long as the parameter is a
> static object. Its only when I use something dereferencing a pointer that it gets
> messed up. In principle, I should be pointing to a chunk of memory that is of the
> right size to contain the next object in the stream.
> ...

This looks like a bug.  There is no reason 'Input should fail just
because the type is derived from Controlled.  I suggest you create
a minimal test case that illustrates the problem and send it into
your friendly compiler vendor ;-).  The whole point of 'Input was
to avoid any issues with internal representation.  

There is also a new AI, I believe, which specifically requires that all
non-limited types in language-defined packages behave reasonably
for 'Input/'Output.

> MDC
> --
> ======================================================================
> Marin David Condic - Quadrus Corporation - http://www.quadruscorp.com/
> Send Replies To: m c o n d i c @ q u a d r u s c o r p . c o m
> Visit my web site at:  http://www.mcondic.com/
> 
>     "Take away the punchbowl just when the party gets going"
> 
>         --  William McChesney Martin, Former Fed chairman, explaining
>             what a sound central bank must always do.
> ======================================================================

-- 
-Tucker Taft   stt@averstar.com   http://www.averstar.com/~stt/
Technical Director, Commercial Division, AverStar (formerly Intermetrics)
(http://www.averstar.com/services/IT_consulting.html)  Burlington, MA  USA