comp.lang.ada
 help / color / mirror / Atom feed
From: G. B. <nonlegitur@nmhp.invalid>
Subject: Re: Why can't objects be static in Ada?
Date: Mon, 15 Apr 2019 17:46:06 -0000 (UTC)
Date: 2019-04-15T17:46:06+00:00	[thread overview]
Message-ID: <q92g0u$nl$1@dont-email.me> (raw)
In-Reply-To: bd0aca4b-d0e1-4d3a-b340-313478f20a4f@googlegroups.com

Lucretia <laguest9000@googlemail.com> wrote:
>  
> 
> I can't believe, in 40 years, nobody has come up against this issue before.

Dependence on static properties has been an Ada issue before, IIRC. A
result is present in the phrase “must statically match“. I don’t know
whether or not this suggests that compilers will elaborate at compile time.



  reply	other threads:[~2019-04-15 17:46 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
2019-04-13 13:07 ` Jere
2019-04-13 13:48   ` Lucretia
2019-04-15 17:46     ` G. B. [this message]
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