From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,3dabbcc9e41d65e8 X-Google-Attributes: gid103376,public From: Tucker Taft Subject: Re: Program_Error because of Finalization. Date: 2000/09/19 Message-ID: <39C7729D.BD016121@averstar.com>#1/1 X-Deja-AN: 671615709 Content-Transfer-Encoding: 7bit References: <39C3B125.209C0440@acm.org> <86g0mz1cao.fsf@acm.org> <39C4DEF8.6EDE4C62@acm.org> X-Accept-Language: en Content-Type: text/plain; charset=us-ascii X-Complaints-To: usenet@inmet2.burl.averstar.com X-Trace: inmet2.burl.averstar.com 969372318 6648 141.199.8.77 (19 Sep 2000 14:05:18 GMT) Organization: AverStar (formerly Intermetrics) Burlington, MA USA Mime-Version: 1.0 NNTP-Posting-Date: 19 Sep 2000 14:05:18 GMT Newsgroups: comp.lang.ada Date: 2000-09-19T14:05:18+00:00 List-Id: 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