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.8 required=5.0 tests=BAYES_00,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!attcan!uunet!ncrlnk!ncrcae!hubcap!gatech!rutgers!mailrus!ames!pasteur!agate!ucbvax!elma.epfl.ch!madmats From: madmats@elma.epfl.ch (Mats Weber) Newsgroups: comp.lang.ada Subject: Unchecked_Deallocation for task types Message-ID: <881003142814.210000ae@elcc.epfl.ch> Date: 3 Oct 88 13:28:14 GMT Sender: daemon@ucbvax.BERKELEY.EDU Organization: The Internet List-Id: This is a reply to Frank Prindle's last message (his net address Prindle@NADC.ARPA is rejected by our mailer): quote from 4.8(7): "... Moreover, if an object or one of its subcomponents belongs to a task type, it is considered to be accessible as long as the task is not terminated." "belongs to a task type" here does not mean that "an object" or one of its subcomponents is of a task type, but that "an object" is declared in the body of a task or task type. Mats Weber EPFL DI LITh (Swiss Polytechnic Institute) 1015 Lausanne Switzerland e-mail : madmats@elma.epfl.ch