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,start
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.197.193 with SMTP id iw1mr867665pbc.0.1335311694739;
        Tue, 24 Apr 2012 16:54:54 -0700 (PDT)
Path: 
 r9ni94825pbh.0!nntp.google.com!news2.google.com!goblin2!goblin.stu.neva.ru!feeder.erje.net!nuzba.szn.dk!news.jacob-sparre.dk!munin.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: Jerrid Kimball <jerrid@kimball.co>
Newsgroups: comp.lang.ada
Subject: bindings with Ada 2012 aspects
Date: Tue, 24 Apr 2012 18:54:50 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <jn7egd$scs$1@munin.nbi.dk>
NNTP-Posting-Host: wsip-72-215-219-68.om.om.cox.net
Mime-Version: 1.0
X-Trace: munin.nbi.dk 1335311693 29084 72.215.219.68 (24 Apr 2012 23:54:53
 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Tue, 24 Apr 2012 23:54:53 +0000 (UTC)
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
 rv:12.0) Gecko/20120410 Thunderbird/12.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2012-04-24T18:54:50-05:00
List-Id: <comp.lang.ada>

Hello!  Long time reader, first time poster.

Before I get started, remember that there is a friendly channel on 
Freenode IRC network dedicated to dicussing Ada and creating a general 
sense of community around the language.  The channel population (around 
60) would profit by any additional great conversation or insights that 
can be brought about.  Thanks!

In my spare time I've been tinkering with Ada 2012 and just happened to 
be working on making a C main play nicely with Ada tasking.  Anyway, 
long story short, I came to wanting to export some Ada subprograms for 
the C main to use, but I'm finding that either the appropriate aspects 
are broken in GNAT Pro 7.1w or my understanding of the new syntax is flawed.

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?

Jerrid Kimball