From: foo wong <crap@spellingbeewinnars.org>
Subject: Re: Ada to Ada Translator ?
Date: Wed, 22 May 2019 16:27:31 -0700 (PDT)
Date: 2019-05-22T16:27:31-07:00 [thread overview]
Message-ID: <bb12e299-8620-4c81-9c48-873302e5dfc0@googlegroups.com> (raw)
In-Reply-To: <qc4an4$bjv$1@franka.jacob-sparre.dk>
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.
next prev parent reply other threads:[~2019-05-22 23:27 UTC|newest]
Thread overview: 41+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-05-17 14:21 Ada to Ada Translator ? foo wong
2019-05-17 21:00 ` Simon Wright
2019-05-18 12:05 ` foo wong
2019-05-18 12:11 ` foo wong
2019-05-18 14:47 ` Simon Wright
2019-05-18 15:26 ` foo wong
2019-05-18 16:48 ` Simon Wright
2019-05-19 16:04 ` G.B.
2019-05-19 17:08 ` Simon Wright
2019-05-19 18:27 ` Optikos
2019-05-19 21:27 ` Simon Wright
2019-05-19 21:42 ` Simon Wright
2019-05-21 20:54 ` Optikos
2019-05-22 6:59 ` Simon Wright
2019-05-22 12:06 ` Optikos
2019-05-22 12:33 ` Simon Wright
2019-05-22 12:57 ` foo wong
2019-05-22 15:24 ` Shark8
2019-05-22 16:34 ` Optikos
2019-05-22 20:07 ` Randy Brukardt
2019-05-23 7:21 ` G. B.
2019-05-22 13:33 ` Optikos
2019-05-20 14:11 ` Optikos
2019-05-20 16:37 ` foo wong
2019-05-18 15:44 ` foo wong
2019-05-18 16:49 ` Simon Wright
2019-05-19 15:04 ` G.B.
2019-05-19 12:41 ` Optikos
2019-05-19 17:38 ` foo wong
2019-05-19 22:52 ` foo wong
2019-05-20 23:19 ` Randy Brukardt
2019-05-21 0:13 ` Optikos
2019-05-21 22:15 ` Randy Brukardt
2019-05-22 0:16 ` Optikos
2019-05-22 20:16 ` Randy Brukardt
2019-05-22 23:27 ` foo wong [this message]
2019-05-23 7:56 ` Simon Wright
2019-05-23 12:29 ` foo wong
2019-05-21 22:20 ` Randy Brukardt
2019-05-21 0:17 ` Optikos
2019-05-22 18:49 ` Optikos
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox