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.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,f57aba5273502edf X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.68.230.98 with SMTP id sx2mr5734146pbc.1.1335558199833; Fri, 27 Apr 2012 13:23:19 -0700 (PDT) Path: r9ni105602pbh.0!nntp.google.com!news1.google.com!goblin2!goblin.stu.neva.ru!newsfeed.x-privat.org!news.jacob-sparre.dk!munin.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: Jerrid Kimball Newsgroups: comp.lang.ada Subject: Re: bindings with Ada 2012 aspects Date: Fri, 27 Apr 2012 15:23:13 -0500 Organization: Jacob Sparre Andersen Research & Innovation Message-ID: References: NNTP-Posting-Host: wsip-70-184-216-142.om.om.cox.net Mime-Version: 1.0 X-Trace: munin.nbi.dk 1335558197 7828 70.184.216.142 (27 Apr 2012 20:23:17 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Fri, 27 Apr 2012 20:23:17 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:12.0) Gecko/20120418 Thunderbird/12.0 In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Date: 2012-04-27T15:23:13-05:00 List-Id: On 04/25/2012 08:47 PM, Randy Brukardt wrote: > "Jerrid Kimball" wrote in message > news:jn7egd$scs$1@munin.nbi.dk... > .... >> As I see it, a pragma Export should be directly replaceable by interfacing >> aspects' aspect marks and definitions: >> >> procedure Wait renames PO.Wait; >> pragma Export (C, Wait, "wait"); >> >> becomes: >> >> procedure Wait renames PO.Wait >> with Export => True, Convention => C, Link_Name => "wait"; >> >> Am I looking at what should be submitted to ACT as a bug? > > I believe this replacement is correct, except for one tiny detail: > > No language-defined aspects are allowed on renames, and the above is a > renames. > > The reason is that almost all language-defined aspects are the same for all > views of an entity, and a rename just introduces another view. Moreover, > this renames "trick" exists for pragmas simply to get around the limitations > of pragmas for overloaded entities, something that is totally unnecessary > for aspects. > > I think in this particular case, you are trying to create a wrapper with > this renames (as opposed to "just" another view of the original subprogram). > I think that allowing the original pragma is dubious (although an > implementation is allowed to support Import and Export on anything they > like -- but it certainly is *not* portable). Thanks for that. I hadn't considered that it would be unportable. Frankly, I haven't read where pragma Export is actually valid, but shall do so now. > > So, I think you need to replace this subprogram renames by a real subprogram > (one that calls PO.Wait in it's body), and I suspect if you do that you'll > have no problems with the aspects. You may expect this, but the problem remains. I failed to include my other testing in my original post; it fails no matter what. I'll attempt on a newer wavefront as I can and update if I remember. > > Randy Brukardt, Editor, ISO/IEC 8652:tdb. :-) > > > > >