From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.5-pre1 Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Convention aspect stricter than before? - GNAT Community 2020 Date: Sun, 9 Aug 2020 19:15:25 -0500 Organization: JSA Research & Innovation Message-ID: References: Injection-Date: Mon, 10 Aug 2020 00:15:26 -0000 (UTC) Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226"; logging-data="4022"; mail-complaints-to="news@jacob-sparre.dk" X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246 Xref: reader01.eternal-september.org comp.lang.ada:59693 List-Id: "Luke A. Guest" wrote in message news:rglsd4$147n$1@gioia.aioe.org... > On 08/08/2020 04:29, Randy Brukardt wrote: > >> I don't see anything in this package specification that freezes any of >> these >> types (other than "end", but of course that's well after the aspects and >> pragmas are given). Occurrences in a type declaration don't freeze a type >> (if they did, you couldn't mention a private type as a component type at >> all, since a partial view cannot be frozen before it is completed). >> >> In any case, the pragma and aspect should be the same, so there's clearly >> a >> bug. > > A bug in the compiler? Yes. Regardless of what the correct behavior is for a particular example, the pragma is equivalent to the aspect so the results should be the same. If they differ, then there certainly is a compiler bug. *Exactly* what that bug is might be debatable (although I think it is pretty clear in this case). Randy.