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: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: Luke A. Guest <laguest@archeia.com>
Newsgroups: comp.lang.ada
Subject: Re: Kickstarter for beginning work on a new open-source Compiler
Date: Thu, 20 Mar 2014 12:45:03 +0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <2031237242417012217.543618laguest-archeia.com@nntp.aioe.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>
NNTP-Posting-Host: kAedY4wd6QuLrttU3sqO3g.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
User-Agent: NewsTap/4.0.1 (iPhone/iPod Touch)
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news.eternal-september.org comp.lang.ada:18868
Date: 2014-03-20T12:45:03+00:00
List-Id: <comp.lang.ada>

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).