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:a37:a1c6:: with SMTP id
 k189mr74755739qke.100.1558567743043;
        Wed, 22 May 2019 16:29:03 -0700 (PDT)
X-Received: by 2002:aca:51d5:: with SMTP id f204mr404987oib.78.1558567651809;
 Wed, 22 May 2019 16:27:31 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!fdn.fr!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!c48no757346qtc.0!news-out.google.com!b26ni125qtp.1!nntp.google.com!c48no757344qtc.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 22 May 2019 16:27:31 -0700 (PDT)
In-Reply-To: <qc4an4$bjv$1@franka.jacob-sparre.dk>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2607:f2c0:95bf:9100:7c7d:8197:2b6:f19e;
 posting-account=XGBE5QoAAABsRez5Xjd0KD5FXhbiCPL-
NNTP-Posting-Host: 2607:f2c0:95bf:9100:7c7d:8197:2b6:f19e
References: <100ad407-090e-4316-9746-a4469568b53e@googlegroups.com>
 <64883feb-3e49-4c6a-855c-6673068e970c@googlegroups.com>
 <qbvcmq$98f$1@franka.jacob-sparre.dk>
 <a8d0f6ca-d5cf-4831-8803-9c1bb6198116@googlegroups.com>
 <qc1tap$6pk$1@franka.jacob-sparre.dk>
 <1bb467ae-6e2c-4fef-aaab-556a8df71747@googlegroups.com>
 <qc4an4$bjv$1@franka.jacob-sparre.dk>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <bb12e299-8620-4c81-9c48-873302e5dfc0@googlegroups.com>
Subject: Re: Ada to Ada Translator ?
From: foo wong <crap@spellingbeewinnars.org>
Injection-Date: Wed, 22 May 2019 23:29:03 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:56374
Date: 2019-05-22T16:27:31-07:00
List-Id: <comp.lang.ada>

Hi Edward

I am just starting out here and I am making errors. The goal here would be to distill down Ada into primitive Ada code, until it could be compiled by gnat without a runtime but it would still be text book Ada code.

I thought that nested subprograms would require the runtime and I don't think they do now, sorry.

Backporting sounds like a great idea. I would like to start around Ada83 and have it compile with gnat without any gnat runtime, the runtime would be created be the ada/ada preprocessor. I would like to target new platforms.

So I guess where I was going with the pragmas, is that I would like to be able to write Ada code that had tasking/exceptions etc but by the time it reached gnat, these pragmas could be used to avoid linking to any runtime from Adacore.

I figure that these pragmas also serve as a sort of to-do list.

You work with Astronomy... I only found out a couple of years ago that the universe has at least 100-200 billion galaxies. What a fascinating field of study. It must be very demanding. I am just a fan on the sidelines :)

-Pat
P.S also thanks to Optikos for the feedback link to AdaGoop and Randy for feedback that shows me that this is a very doable project.