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=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,89cbee942992178a X-Google-Attributes: gid103376,public From: "Norman H. Cohen" Subject: Re: Deallocating Task objects Date: 1997/02/20 Message-ID: <330C76C1.75BE@watson.ibm.com>#1/1 X-Deja-AN: 220272336 References: <01bc1b53$fb0251c0$829d6482@joy.ericsson.se> <33086C65.F9F@elca-matrix.ch> <3309C668.7D8E@Sor.psu.edu> Content-Type: text/plain; charset=us-ascii Organization: IBM Thomas J. Watson Research Center Mime-Version: 1.0 Reply-To: ncohen@watson.ibm.com Newsgroups: comp.lang.ada X-Mailer: Mozilla 3.0 (Win95; I) Date: 1997-02-20T00:00:00+00:00 List-Id: Robert Dewar wrote: > Much later, the ARG visited this issue, and declared that this situation > was pathological, which meant that no compiler was expected to implement > it (I do not remember if it was formally declared erroneous or not, I > don't have my AI's with me right now). This meant that the test was > challengable, but in fact, to my memory it did not get challenged, since > this was late in the Ada 83 cycle. It was not declared erroneous in Ada 83. The ARG defined a new AI category, "pathological", which said that the question at hand had nothing to do with anything that could ever be useful in a real program, and that even if the language gave a definite answer to the question, it was not useful to write an ACVC test that would force implementors to degrade their code to conform to that answer. The later AI simply reclassified the earlier AI from "binding interpretation" to "pathological", meaning "Yes, a terminated task can be returned outside of its master, but it's utterly useless to write a program that does this, so we don't care if it works right, and we don't want implementors degrading their implementations to make it work right." However, as Robert notes, the implementors had already gone through all the work of degrading their implementations, so the damage was done. > Finally, it was fixed, in a rather nice and general way in Ada 95. Yes, it falls out naturally as a consequence of more general rules about "return by reference". > Anyone want to add to or amend this bit of history (trying to remember > things from this far back in detail is always a bit unreliable :-) This time Robert's memory and mine are in accord. :-) -- Norman H. Cohen mailto:ncohen@watson.ibm.com http://www.research.ibm.com/people/n/ncohen