From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Why can't objects be static in Ada?
Date: Fri, 12 Apr 2019 17:02:26 -0500
Date: 2019-04-12T17:02:26-05:00 [thread overview]
Message-ID: <q8r1ti$3c9$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: f572578d-1e73-4b20-b2be-e5b80a8d95b3@googlegroups.com
"Mark Lorenzen" <mark.lorenzen@gmail.com> wrote in message
news:f572578d-1e73-4b20-b2be-e5b80a8d95b3@googlegroups.com...
> On Friday, April 12, 2019 at 12:49:07 AM UTC+2, Randy Brukardt wrote:
>>
>> fix this. There's no good reason (outside of Annex E issues) for
>> declaring
>> any package preelaborated, unless you like fighting errors a lot. C.4 is
>> a
>> load of hooey, it's not actually implementable on the margins, and
>> there's
>> no reason for any compiler to generate more code than necessary. Ergo,
>> you'll most likely get the same code whether or not you declare something
>> Preelaborated, so why bother with all of the hassles?
>
> For certification purposes, I think there is a value in avoiding
> elaboration code.
>
> http://docs.adacore.com/live/wave/gnat_ugx/html/gnat_ugx/gnat_ugx/support_for_certified_systems.html#avoiding-elaboration-code
>
> I had the need to deal with it myself though.
Surely there are lots of requirements that the language cannot deal with;
anything having to do with the actual code generated belongs to the
implementation and not to the language. A language standard can't say
anything useful about the generated code, because of the need to work in a
wide variety of environments.
Randy.
next prev parent reply other threads:[~2019-04-12 22:02 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-04-11 12:40 Why can't objects be static in Ada? Lucretia
2019-04-11 12:56 ` Mark Lorenzen
2019-04-11 13:31 ` Lucretia
2019-04-11 22:49 ` Randy Brukardt
2019-04-12 1:56 ` Lucretia
2019-04-12 7:33 ` Dmitry A. Kazakov
2019-04-12 22:38 ` Randy Brukardt
2019-04-13 9:14 ` Lucretia
2019-04-12 6:59 ` Mark Lorenzen
2019-04-12 8:12 ` Simon Wright
2019-04-12 22:02 ` Randy Brukardt [this message]
2019-04-13 13:07 ` Jere
2019-04-13 13:48 ` Lucretia
2019-04-15 17:46 ` G. B.
2019-04-14 3:47 ` Keith Thompson
2019-04-16 0:08 ` sbelmont700
2019-04-16 1:40 ` Randy Brukardt
2019-04-16 12:11 ` Mark Lorenzen
2019-04-16 16:19 ` Simon Wright
2019-04-16 20:56 ` Lucretia
2019-04-16 21:07 ` Niklas Holsti
2019-04-16 21:16 ` Lucretia
2019-04-16 21:40 ` Niklas Holsti
2019-04-16 23:26 ` Randy Brukardt
2019-04-23 14:30 ` Mark Lorenzen
2019-04-16 23:09 ` Randy Brukardt
2019-04-22 20:05 ` Norman Worth
2019-04-16 20:54 ` Lucretia
2019-04-16 23:15 ` Randy Brukardt
2019-04-16 20:53 ` Lucretia
2019-04-18 13:32 ` sbelmont700
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox