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.36.179.69 with SMTP id z5mr2209260iti.52.1515019482821; Wed, 03 Jan 2018 14:44:42 -0800 (PST) X-Received: by 10.157.88.6 with SMTP id r6mr156820oth.6.1515019482508; Wed, 03 Jan 2018 14:44:42 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!tncsrv06.tnetconsulting.net!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!i6no404032itb.0!news-out.google.com!s63ni722itb.0!nntp.google.com!i6no404028itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 3 Jan 2018 14:44:42 -0800 (PST) In-Reply-To: <402bff13-f508-4756-9abd-a4f5e2f5bfe0@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=149.32.224.39; posting-account=Qh2kiQoAAADpCLlhT_KTYoGO8dU3n4I6 NNTP-Posting-Host: 149.32.224.39 References: <402bff13-f508-4756-9abd-a4f5e2f5bfe0@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Package ads/adb conformity From: Anh Vo Injection-Date: Wed, 03 Jan 2018 22:44:42 +0000 Content-Type: text/plain; charset="UTF-8" Xref: reader02.eternal-september.org comp.lang.ada:49742 Date: 2018-01-03T14:44:42-08:00 List-Id: On Wednesday, January 3, 2018 at 2:23:32 PM UTC-8, Mace Ayres wrote: > I have a package named 'grids.' To my eyes the declaration in the grids.ads for a type a_state (enumeration..) > seems identical with the body's type a_state. But, the compiler complains of not type conformant with declaration in grids.adb in the body grids.adb: > It may complain about subprogram profile mismatched/missing. In addition, the type a_state must not repeated. In other word, it must be unique within the package specification and package body. Anh Vo