comp.lang.ada
 help / color / mirror / Atom feed
From: Daniel Norte Moraes <danielcheagle@gmail.com>
Subject: Re: Ada Pure or Preelaborate or ? in Adare_net
Date: Thu, 6 Jan 2022 12:39:21 -0800 (PST)	[thread overview]
Message-ID: <f2611eaa-96ea-4c50-a97a-a8fef1e62b6an@googlegroups.com> (raw)
In-Reply-To: <sr5a8l$eua$1@franka.jacob-sparre.dk>

Em quarta-feira, 5 de janeiro de 2022 às 20:40:08 UTC-3, Randy Brukardt escreveu:
> "Daniel Norte Moraes" <daniel...@gmail.com> wrote in message 
> news:378bc69a-8388-4daf...@googlegroups.com...
> >Em terça-feira, 4 de janeiro de 2022 às 10:52:42 UTC-3, Fabien Chouteau 
> >escreveu: 
> >> 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. 
> 
> >Thanks! 
> >I read the post and believe that because most variables are either streamed 
> >or aliased and imported, lib works as it should. 
> >However, there is still the possible problem of omitting the same 
> >subprograms with the same parameters (by compiler), although in the tests 
> >this did not happen, would replacing aspect 'pure' by 'preelaborate' solve 
> >this possible problem?
> Yes. The permission to omit calls only applies to Pure (see 10.2.1(18/3)). 
> http://www.ada-auth.org/standards/2xaarm/html/AA-10-2-1.html#p18. (I gave a 
> reference to the Ada 2022 AARM, but this rule hasn't changed in spirit since 
> it was introduced in Ada 95.) 
> 
> Randy.

Thanks!

We will change the packages in LibAdare_Net to 'preelaborate'. :-)
and continue from here. 

Thanks All,
Best Whishes,
Dani.

Enjoy!! :-)

      reply	other threads:[~2022-01-06 20:39 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
2022-01-05 16:33   ` Daniel Norte Moraes
2022-01-05 23:40     ` Randy Brukardt
2022-01-06 20:39       ` Daniel Norte Moraes [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox