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.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,9747037d09060687,start X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!news.glorb.com!news2!feeder.erje.net!newsfeed.straub-nv.de!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: A proposal for formal packages matching Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH Date: Mon, 15 Dec 2008 11:21:30 +0100 Message-ID: NNTP-Posting-Date: 15 Dec 2008 11:21:30 CET NNTP-Posting-Host: 65806a25.newsspool3.arcor-online.net X-Trace: DXC=A8c>m[jK0_X=>bdbdS?M0YMcF=Q^Z^V3X4Fo<]lROoRQ^YC2XCjHcbY@LK^@RkgRXIWG9DG6L9R X-Complaints-To: usenet-abuse@arcor.de Xref: g2news1.google.com comp.lang.ada:2989 Date: 2008-12-15T11:21:30+01:00 List-Id: There seems one overlooked thing in the rules controlling matching formal packages. An instance of generic child package does not match as an instance of the generic parent. I mean the following: generic package Generic_A is end Generic_A; package A is new Generic_A; generic package Generic_A.Generic_B is end Generic_A.Generic_B; package AB is new A.Generic_B; generic with package A is new Generic_A (<>); package Generic_Foo is end Generic_Foo; package Foo is new Generic_Foo (AB); -- Error: AB is not an instance of Generic_A Semantically, AB being an extension of Generic_A can be considered an instance of. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de