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: Laurent Guerby Subject: Re: Program_Error because of Finalization. Date: 2000/09/19 Message-ID: <86og1kmg2c.fsf@acm.org>#1/1 X-Deja-AN: 671696567 References: <39C3B125.209C0440@acm.org> <86g0mz1cao.fsf@acm.org> <39C4DEF8.6EDE4C62@acm.org> <39C7729D.BD016121@averstar.com> X-Trace: front4m.grolier.fr 969384933 29220 195.36.164.176 (19 Sep 2000 17:35:33 GMT) Organization: Club-Internet (France) NNTP-Posting-Date: 19 Sep 2000 17:35:33 GMT Newsgroups: comp.lang.ada Date: 2000-09-19T17:35:33+00:00 List-Id: Tucker Taft writes: > [...] 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. Does someone have a reference for the AI? -- Laurent Guerby