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: 
 border2.nntp.dca3.giganews.com!backlog4.nntp.dca3.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!news-1.dfn.de!news.dfn.de!fu-berlin.de!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Sat, 29 Mar 2014 09:46:03 +0100
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9;
 rv:24.0) Gecko/20100101 Thunderbird/24.1.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Augusta: An open source Ada 2012 compiler (someday?)
References: <zpudnYzhb9cIB7TO4p2dnAA@giganews.com>
 <1f0a85a6-ea4d-4d30-8537-0ce9063f992a@googlegroups.com>
 <lgeh3m$gqq$1@dont-email.me> <lgfsqj$g8i$1@loke.gir.dk>
 <lgopof$unl$1@loke.gir.dk> <lgsm50$vbg$1@speranza.aioe.org>
 <HtpYu.68491$Ls.67166@fx04.iad> <lgvduo$id7$1@dont-email.me>
 <nkRYu.112919$ti6.75704@fx17.iad> <lh205f$9ou$1@dont-email.me>
 <330b7d3b-4d12-4482-9ed2-2c82a32a6334@googlegroups.com>
 <Gvydnd4cIcw3javO4p2dnAA@giganews.com>
In-Reply-To: <Gvydnd4cIcw3javO4p2dnAA@giganews.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <5336884c$0$22628$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 29 Mar 2014 09:46:04 CET
NNTP-Posting-Host: 25912c81.newsspool1.arcor-online.net
X-Trace: DXC=dMkX30A=7?;
 LNKYb?b>076ic==]BZ:af>4Fo<]lROoR1Fl8W>\BH3Y24h[HV8TIRF<A:ho7QcPOV35`C?]<OAC:?:ejiF4BNLb4
X-Complaints-To: usenet-abuse@arcor.de
X-Original-Bytes: 2113
Xref: number.nntp.dca.giganews.com comp.lang.ada:185403
Date: 2014-03-29T09:46:04+01:00
List-Id: <comp.lang.ada>

On 29/03/14 01:15, Peter Chapin wrote:
> (...) you can write methods
> that manipulate the abstract syntax tree (...). These methods
> can be executed by the compiler to generate code that is subsequently
> compiled.
>
> (...) Perhaps Ada 202X should consider merging ASIS and Ada
> in some way to provide a compile time "macro" facility for Ada.

Given Lisp compilers, is there some report or story of how
its macro compiler was used for embedded systems? If not,
would *Ada change that?

Will Ada+ASIS introduce recursive generics in a way that
a programmer can understand?