From: Fabien Chouteau <fabien.chouteau@gmail.com>
Subject: Re: Ada Pure or Preelaborate or ? in Adare_net
Date: Tue, 4 Jan 2022 05:52:41 -0800 (PST) [thread overview]
Message-ID: <546e54e7-64ba-48a5-a990-d644947992ccn@googlegroups.com> (raw)
In-Reply-To: <3b7ba153-ebf1-4b85-a1b2-3ad5aaeca11en@googlegroups.com>
On Friday, December 31, 2021 at 5:13:33 PM UTC+1, daniel...@gmail.com wrote:
> For this reason, if really 'is' pure, not pure, preelaborate or what (?), pleeeeeeaaase, we ask the group's Ada Language Lawyers to help analyze and suggest modifications if necessary.
I recommend reading this: https://stackoverflow.com/questions/19353228/when-to-use-pragma-pure-preelaborate
If your units are declared as Pure, the compiler considers that they have no side effect and can decided to call the sub-programs only once and cache the result, or not even call the sub-program if the result is not used after.
next prev parent reply other threads:[~2022-01-04 13:52 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-12-31 16:13 Ada Pure or Preelaborate or ? in Adare_net Daniel Norte Moraes
2022-01-04 1:11 ` Simon Belmont
2022-01-05 16:11 ` Daniel Norte Moraes
2022-01-04 13:52 ` Fabien Chouteau [this message]
2022-01-05 16:33 ` Daniel Norte Moraes
2022-01-05 23:40 ` Randy Brukardt
2022-01-06 20:39 ` Daniel Norte Moraes
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox