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
X-Received: by 2002:a6b:c812:: with SMTP id y18mr6999185iof.237.1558287493930;
        Sun, 19 May 2019 10:38:13 -0700 (PDT)
X-Received: by 2002:a9d:6248:: with SMTP id i8mr328626otk.276.1558287493724;
 Sun, 19 May 2019 10:38:13 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.166.216.MISMATCH!i64no510768iti.0!news-out.google.com!p73ni535itp.0!nntp.google.com!i64no510765iti.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 19 May 2019 10:38:13 -0700 (PDT)
In-Reply-To: <64883feb-3e49-4c6a-855c-6673068e970c@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2607:f2c0:94ae:fc00:34fc:3d7c:efd6:13c;
 posting-account=XGBE5QoAAABsRez5Xjd0KD5FXhbiCPL-
NNTP-Posting-Host: 2607:f2c0:94ae:fc00:34fc:3d7c:efd6:13c
References: <100ad407-090e-4316-9746-a4469568b53e@googlegroups.com>
 <64883feb-3e49-4c6a-855c-6673068e970c@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <eaaf7da9-8d5e-4e46-aceb-c4ffee7f31b1@googlegroups.com>
Subject: Re: Ada to Ada Translator ?
From: foo wong <crap@spellingbeewinnars.org>
Injection-Date: Sun, 19 May 2019 17:38:13 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:56338
Date: 2019-05-19T10:38:13-07:00
List-Id: <comp.lang.ada>

Thanks for your post Optikos

I am familiar with Byron and I am really rooting for this project.

The thing is, a source-to-source translator would work right away while a genuine compiler would not work until mostly complete.

The translator could just emit Ada code that is built from more and more primitive Ada code until it was trivial to build a true compiler for the output. 

Or this could could never come to pass and gnat/gcc could just compile it without a runtime needed.

Have a great day-Patrick