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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.31.69.215 with SMTP id s206mr1325328vka.18.1480101515025; Fri, 25 Nov 2016 11:18:35 -0800 (PST) X-Received: by 10.157.63.164 with SMTP id r33mr258012otc.10.1480101514946; Fri, 25 Nov 2016 11:18:34 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!p16no1115866qta.1!news-out.google.com!j8ni4700qtc.0!nntp.google.com!n6no1116860qtd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 25 Nov 2016 11:18:34 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=91.55.222.79; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf NNTP-Posting-Host: 91.55.222.79 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <26727abf-a679-4733-a424-45deb30a597e@googlegroups.com> Subject: Re: Generic private type declaration From: AdaMagica Injection-Date: Fri, 25 Nov 2016 19:18:34 +0000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 1401 X-Received-Body-CRC: 2973129731 Xref: news.eternal-september.org comp.lang.ada:32465 Date: 2016-11-25T11:18:34-08:00 List-Id: RM 12.5.1(5/3) ... For a formal derived type declaration, the reserved word= s *with private* shall appear if and only if the ancestor type is a tagged = type; in this case the formal derived type is a private extension of the an= cestor type and the ancestor shall not be a class-wide type...