From: Simon Wright <simon@pushface.org>
Subject: Re: Kickstarter for beginning work on a new open-source Compiler
Date: Thu, 20 Mar 2014 12:10:30 +0000
Date: 2014-03-20T12:10:30+00:00 [thread overview]
Message-ID: <ly61n93wax.fsf@pushface.org> (raw)
In-Reply-To: 801079196416966973.679877laguest-archeia.com@nntp.aioe.org
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;
translates (using ASIS GPL 2012 and my ASIS2XML) to
<unit_declaration>
<package_declaration>
<defining_identifier>Ada2012</defining_identifier>
<subtype_declaration>
<defining_identifier>Even</defining_identifier>
<subtype_indication>
<identifier>Natural</identifier>
</subtype_indication>
<aspect_specification>
<identifier>Dynamic_Predicate</identifier>
<function_call prefixed="false">
<parameter_association>
<function_call prefixed="false">
<parameter_association>
<identifier>Even</identifier>
</parameter_association>
<operator_symbol>"mod"</operator_symbol>
<parameter_association>
<integer_literal>2</integer_literal>
</parameter_association>
</function_call>
</parameter_association>
<operator_symbol>"="</operator_symbol>
<parameter_association>
<integer_literal>0</integer_literal>
</parameter_association>
</function_call>
</aspect_specification>
</subtype_declaration>
</package_declaration>
</unit_declaration>
next prev parent reply other threads:[~2014-03-20 12:10 UTC|newest]
Thread overview: 71+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-03-18 23:23 ANN: Kickstarter for beginning work on a new open-source Compiler Shark8
2014-03-19 9:06 ` Maciej Sobczak
2014-03-19 13:02 ` Peter Chapin
2014-03-19 13:48 ` Dmitry A. Kazakov
2014-03-19 22:11 ` Randy Brukardt
2014-03-20 14:56 ` Robert A Duff
2014-03-19 21:59 ` Randy Brukardt
2014-03-19 22:03 ` Randy Brukardt
2014-03-20 20:41 ` Shark8
2014-03-20 23:04 ` Randy Brukardt
2014-03-20 0:12 ` Luke A. Guest
2014-03-20 0:36 ` Peter Chapin
2014-03-20 0:52 ` Luke A. Guest
2014-03-20 12:10 ` Simon Wright [this message]
2014-03-20 12:45 ` Luke A. Guest
2014-03-20 13:22 ` Simon Wright
2014-03-20 14:13 ` Luke A. Guest
2014-03-20 14:17 ` J-P. Rosen
2014-03-21 2:13 ` Lucretia
2014-03-21 5:23 ` J-P. Rosen
2014-03-21 5:33 ` Lucretia
2014-03-21 6:43 ` J-P. Rosen
2014-03-21 22:51 ` Randy Brukardt
2014-03-22 1:13 ` Luke A. Guest
2014-03-22 6:27 ` Tero Koskinen
2014-03-22 7:02 ` J-P. Rosen
2014-03-24 20:50 ` Randy Brukardt
2014-03-24 22:42 ` Qun-Ying
2014-03-25 15:16 ` Tero Koskinen
2014-03-20 15:27 ` Robert A Duff
2014-03-20 21:06 ` Simon Wright
2014-03-21 16:07 ` Robert A Duff
2014-03-23 17:52 ` Simon Wright
2014-03-19 14:25 ` ANN: " Stephen Leake
2014-03-19 19:55 ` Shark8
2014-03-19 22:28 ` Randy Brukardt
2014-03-20 17:55 ` Shark8
2014-03-20 17:53 ` Dmitry A. Kazakov
2014-03-19 22:49 ` Brian Drummond
2014-03-20 10:21 ` Lucretia
2014-03-20 23:35 ` Stephen Leake
2014-03-21 8:17 ` Simon Wright
2014-03-23 21:14 ` erlo
2014-03-23 22:36 ` Simon Wright
2014-03-24 20:31 ` erlo
2014-03-19 21:04 ` Alan Browne
2014-03-19 22:22 ` Randy Brukardt
2014-03-20 20:30 ` Shark8
2014-03-21 2:18 ` Lucretia
2014-03-21 21:51 ` Shark8
2014-03-22 5:48 ` J-P. Rosen
2014-03-22 6:01 ` Jeffrey Carter
2014-03-24 21:03 ` Randy Brukardt
2014-03-22 9:14 ` Ludovic Brenta
2014-03-22 10:15 ` Pascal Obry
2014-03-22 10:25 ` Dirk Craeynest
2014-03-22 12:41 ` Niklas Holsti
2014-03-22 14:59 ` Dirk Craeynest
2014-03-22 16:20 ` Niklas Holsti
2014-03-22 17:05 ` Ludovic Brenta
2014-03-24 6:41 ` Shark8
2014-03-24 6:16 ` Luke A. Guest
2014-03-22 8:38 ` ANN: " Dmitry A. Kazakov
2014-03-22 19:28 ` Stephen Leake
2014-03-22 20:39 ` Shark8
2014-03-24 1:16 ` Stephen Leake
2014-03-24 6:40 ` Shark8
2014-03-25 20:04 ` Stephen Leake
2014-03-25 20:30 ` Dmitry A. Kazakov
2014-03-20 21:35 ` gautier_niouzes
2014-03-21 22:19 ` Shark8
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox