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.2 required=5.0 tests=BAYES_00,FREEMAIL_FROM, FROM_STARTS_WITH_NUMS autolearn=no autolearn_force=no version=3.4.4 X-Received: by 10.107.53.225 with SMTP id k94mr2365889ioo.107.1511976474648; Wed, 29 Nov 2017 09:27:54 -0800 (PST) X-Received: by 10.157.83.199 with SMTP id i7mr79508oth.3.1511976474460; Wed, 29 Nov 2017 09:27:54 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.kjsl.com!usenet.stanford.edu!i6no838067itb.0!news-out.google.com!x87ni1012ita.0!nntp.google.com!i6no838062itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 29 Nov 2017 09:27:54 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=82.154.190.101; posting-account=rhqvKAoAAABpikMmPHJSZh4400BboHwT NNTP-Posting-Host: 82.154.190.101 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <79e77011-250b-438f-8293-36ae33cdb18c@googlegroups.com> Subject: Re: simple code can't compiled, without clear compiler warning (not clear enough to me at least) From: Mehdi Saada <00120260a@gmail.com> Injection-Date: Wed, 29 Nov 2017 17:27:54 +0000 Content-Type: text/plain; charset="UTF-8" Xref: reader02.eternal-september.org comp.lang.ada:49252 Date: 2017-11-29T09:27:54-08:00 List-Id: Indeed, I found it. Now it works... I mean it compiled. Haven't use it in a actual program yet. I'm not used to going to the column number indicated. But I could compile it both with Tableau_type'Last and T'Last. The manual says: "The following attributes are defined for a prefix A that is of an array type (after any implicit dereference), or denotes a constrained array subtype" That means I should rather put T'Last, since my generic formal type parameter for the Tabeau_type is unconstrained, so the library can't know if the provided subtype will or not be bound ?