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
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Kickstarter for beginning work on a new open-source Compiler
Date: Thu, 20 Mar 2014 13:22:46 +0000
Organization: A noiseless patient Spider
Message-ID: <ly1txx3syh.fsf@pushface.org>
References: <5151491a-14c3-4138-bcb5-f29108aeefb9@googlegroups.com>
 <b750be91-adb8-4630-90a2-ae700a3e9e67@googlegroups.com>
 <fKSdnQj47oHXCLTO4p2dnAA@giganews.com>
 <801079196416966973.679877laguest-archeia.com@nntp.aioe.org>
 <ly61n93wax.fsf@pushface.org>
 <2031237242417012217.543618laguest-archeia.com@nntp.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx05.eternal-september.org;
 posting-host="22d720de31fa36ffc68ccbe08d1f0c55";
 logging-data="17762"; mail-complaints-to="abuse@eternal-september.org";
 posting-account="U2FsdGVkX1/BPMHAc3BC689mga3UOzCrTcscYtDkYm8="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin)
Cancel-Lock: sha1:dHuVEIVU9xL4zeIz2pwUYJkOTUA=
 sha1:fVryQRGXHdXAwHeGiLjgBAR3Oww=
Xref: number.nntp.dca.giganews.com comp.lang.ada:185221
Date: 2014-03-20T13:22:46+00:00
List-Id: <comp.lang.ada>

Luke A. Guest <laguest@archeia.com> writes:

> Simon Wright <simon@pushface.org> wrote:
>> Luke A. Guest <laguest@archeia.com> writes:
>> 
>>> Peter Chapin <PChapin@vtc.vsc.edu> wrote:
>>> 
>>>> IDE interact with existing compilers? Ada, in particular, does have
>>>> an ASIS standard that can guide, to some extent, the design of
>>>> abstract program representations.
>>> 
>>> ASIS doesn't have Ada 2012 support, yet. Unless there are unofficial
>>> extensions, do you have links?
>> 
>> GCC 4.8 supports ASIS to the extent that this
>> 
>>    package Ada2012 is
>>       subtype Even is Natural with Dynamic_Predicate => Even mod 2 = 0;
>>    end Ada2012;
>
> So the Ada 2012 extensions are in that package?
>
> No offence, but I have no idea what I'm looking at (the XML stuff).

Um. Sorry.

I wrote that package to use one of the Ada 2012 extensions
(aspects). The XML demonstrates that GNAT's internal representation, as
well as supporting aspects (a given), is exported to the ASIS
environment in a usable way: the fact you can see <aspect_specification>
in the output indicates (to me!) that there is an enumeration literal
An_Aspect_Specification in the GNAT ASIS library.

Likewise, after further invesitigation, An_Expression_Function_Declaration.

Of course this is all GNAT-specific; I don't know what the success rate
is for AdaCore implementations to end up as ASIS specs, or whether the
ASIS folks are actively considering updates for Ada 2012.