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.13.230.14 with SMTP id p14mr8232150ywe.2.1445442769993; Wed, 21 Oct 2015 08:52:49 -0700 (PDT) X-Received: by 10.182.116.130 with SMTP id jw2mr145600obb.4.1445442769911; Wed, 21 Oct 2015 08:52:49 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!1.eu.feeder.erje.net!newsfeed.fsmpi.rwth-aachen.de!newsfeed.straub-nv.de!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!kq10no20778730igb.0!news-out.google.com!z4ni27747ign.0!nntp.google.com!kq10no20778726igb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 21 Oct 2015 08:52:49 -0700 (PDT) In-Reply-To: <98fcf225-fdec-401c-80b3-321e2ac65f6b@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=91.55.200.124; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf NNTP-Posting-Host: 91.55.200.124 References: <98fcf225-fdec-401c-80b3-321e2ac65f6b@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <39474371-9e24-4c86-b026-50d4b317e44f@googlegroups.com> Subject: Re: Task interface and entries with aliased parameters From: AdaMagica Injection-Date: Wed, 21 Oct 2015 15:52:49 +0000 Content-Type: text/plain; charset=ISO-8859-1 X-Received-Bytes: 1403 X-Received-Body-CRC: 2374825877 Xref: news.eternal-september.org comp.lang.ada:28012 Date: 2015-10-21T08:52:49-07:00 List-Id: RM 9.1(9.8/2) seems to be fulfilled: the inherited subprogram is implemented by a single entry of the task type; in which case its prefixed view profile shall be subtype conformant with that of the task entry. But I've never used task interfaces myself.